Tag: 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, Proceedings …...

  Ebook Info Published: 2018 Number of pages: 710 pages Format: PDF File Size: 25.57 MB Authors: Klaus...

Advertisement

spot_img