M.-L. · M. Leuschel · Michael L.
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | 978-3-642-30884-0 (3-642-30884-8) | 2012 | John Derrick · John Fitzgerald · Stefania Gnesi · Sarfraz Khurshid · Steve Reeves · Elvinia Riccobene |
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Notes in Computer Science, Band 6286) | 978-3-642-17070-6 (3-642-17070-6) | 2011 | Frank S. de Boer · Marcello M. Bonsangue · Stefan Hallerstede |
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings | 978-3-642-00254-0 (3-642-00254-4) | 2009 | Heike Wehrheim |