| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures | 978-3-642-38875-0 | 2013 | Marco Bernardo · Erik de Vink |
| Formal Methods for Dynamical Systems | 978-3-642-38873-6 | 2013 | Marco Bernardo · Erik de Vink · Herbert Wiklicky |
| Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science, Band 6154) | 978-3-642-13677-1 | 2010 | Alessandro Aldini · Marco Bernardo · Herbert Wiklicky |
| From Lambda Calculus to Cybersecurity through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement | 978-3-030-41102-2 | 2020 | Pasquale Malacaria · Rajagopal Nagarajan |