ProB: an automated analysis toolset for the B method
Michael Leuschel, Michael ButlerVolume:
10
Language:
english
Pages:
19
DOI:
10.1007/s10009-007-0063-9
Date:
March, 2008
File:
PDF, 814 KB
english, 2008