Leuschel, Michael books & textbook
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science, 5423)
Leuschel, Michael Wehrheim, Heike
Springer /2009-02-02 Paperback / 377 Pages
isbn-10: 3642002544 / isbn-13: 9783642002540
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7316)
Derrick, John Fitzgerald, John Gnesi, Stefania Khurshid, Sarfraz Leuschel, Michael Reeves, Steve Riccobene, Elvinia
Springer /2012-06-12 Paperback / 393 Pages
isbn-10: 3642308848 / isbn-13: 9783642308840
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings (Lecture Notes in Computer Science, 14759)
Bonfanti, Silvia Gargantini, Angelo Leuschel, Michael Riccobene, Elvinia Scandurra, Patrizia
Springer /2024-06-21 Paperback / 413 Pages
isbn-10: 3031637895 / isbn-13: 9783031637896
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science, 6286)
de Boer, Frank S. Bonsangue, Marcello M. Hallerstede, Stefan Leuschel, Michael
Springer /2011-01-04 Paperback / 349 Pages
isbn-10: 3642170706 / isbn-13: 9783642170706
