FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science Book 9995)
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.