Suchergebnisse für "Klaus Havelund/Jan Peleska/Bill Roscoe et al"

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17,2018, Proceedings, Lecture Notes in Computer Science 10951 - Programming and Software Engineering

Klaus Havelund/Jan Peleska/Bill Roscoe et al

Springer Verlag GmbH