Program Development by Refinement Case Studies Using the B Method Sekerinski Emil Heftet / 1998 / Engelsk
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Butler, Michael Heftet / 2002 / Engelsk
Dependability and Computer Engineering Concepts for Software-Intensive Systems Petre Luigia Innbundet / 2011 / Engelsk
