FM 2016: Formal Methods : 21st International Symposium Limassol, Cyprus, November 9-11, 2016 proceedings
Author
Fitzgerald, JohnHeitmeyer, Constance L.,editor
Gnesi, Stefania
Philippou, Anna
ISBN
978-3-319-48989-6Source
International Symposium of Formal Methods EuropeGoogle Scholar check