This site has been permanently archived. This is a static copy provided by the University of Southampton.
Bendisposto, Jens
and
Leuschel, Michael
Proof Assisted Model Checking for B.
[Rodin Archive]