Klaus Havelund - Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ... Notes in Computer Science, Band 10951)

Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2018-07-12, releaseDate : 2018-07-12, publishers : Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink, ISBN : 3319955810 ...