- Record: found
- Abstract: not found
- Book Chapter: not found
FME 2003: Formal Methods
ProB: A Model Checker for B
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Alloy: a lightweight object modelling notation
Daniel Jackson (2002)
- Record: found
- Abstract: not found
- Book Chapter: not found
An open-ended finite domain constraint solver
Mats Carlsson, Greger Ottosson, Bjorn W. Carlson (1997)