Formal methods 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings /
作者:edited by Klaus Havelund ... [et al.].
出版者:Springer International Publishing : Imprint: Springer