Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
Springer-Verlag, 2012
eBooks
Marco Bernardo, editor
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
[, Springer-Verlag], 2012
eBooks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
eBooks
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
edited by Dimitra Giannakopoulou and Dominique Mery
Springer-Verlag, 2012
eBooks
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
edited by Marielle Stoelinga and Ralf Pinger
Springer-Verlag , 2012
eBooks