Lectures for Boys

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

(9783642357459 / 31 black & white illustrations, biograph)

Formal Methods for Dynamical Systems

(9783642388736 / 49 black & white illustrations, biograph) | Formal Methods for

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

(9783642406140 / 125 black & white illustrations, biograp) | For Components and

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science, Band 9700)

(9783319340951) | For the

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures: ... Notes in Computer Science, 5751, Band 5751)

Springer (9783642041662) | Methods for Components and

Formal Methods for an Informal World: ICTAC 2021 Summer School Lectures, Lecture Notes in Computer Science Band 13490