Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. Springer, 9675, pp.54-69, 2016, <10.1007/978-3-319-33600-8_3>
Julia M. Badger and Kristin Yvonne Rozier. NASA Formal Methods - 6th International Symposium, 2014, Houston, Texas, United States. Springer, 8430, pp.143-157, 2014, LNCS. <10.1007/978-3-319-06200-6_11>
Gerald Lüttgen and Stephan Merz. 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany. EASST, 53, 2012, ECEASST; Automated Verification of Critical Systems (AVoCS 2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
article
Dimitra Giannakopoulou and Dominique Méry. 18th International Symposium On Formal Methods - FM 2012, Aug 2012, Paris, France. Springer, 7436, pp.147-154, 2012, Lecture Notes in Computer Science; FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. <10.1007/978-3-642-32759-9_14>
Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. Springer, 7180, pp.289-303, 2012, Lecture Notes in Computer Science; Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012). <10.1007/978-3-642-28717-6_23>
Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wroclaw, Poland. 2011, <http://pxtp2011.loria.fr>
