Data Refinement Model-Oriented Proof Methods and their Comparison de Roever, Willem-Paul Innbundet / 1998 / Engelsk
Data Refinement Model-Oriented Proof Methods and their Comparison de Roever, Willem-Paul Heftet / 2008 / Engelsk
Programming Concepts and Methods PROCOMET ’98 IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA Gries David Innbundet / 1998 / Engelsk
Programming Concepts and Methods PROCOMET ’98 IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA Gries David Heftet / 2013 / Engelsk
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures Bonsangue Marcello M. Heftet / 2008 / Engelsk
Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Boer, Frank S.de Heftet / 2003 / Engelsk
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures de Boer, Frank S. Heftet / 2005 / Engelsk
Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures Boer Frank S. de Heftet / 2004 / Engelsk
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures de Boer, Frank S. Heftet / 2007 / Engelsk
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures de Boer, Frank S. Heftet / 2006 / Engelsk
