Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
Buku Teks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
eBooks
Aoki, Toshiaki, editor
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Springer-Verlag, 2012
eBooks
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
Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
eBooks