Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings Merz Stephan Heftet / 2014 / Engelsk
Modeling and Verification of Real-time Systems Formalisms and Software Tools Navet Nicolas Innbundet / 2008 / Engelsk
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings Méry, Dominique Heftet / 2010 / Engelsk
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings Blanchette Jasmin Christian Heftet / 2016 / Engelsk
Formal Systems Specification The RPC-Memory Specification Case Study Broy, Manfred Heftet / 1996 / Engelsk
