2016

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2016

 

2022

Formal techniques for distributed objects, components, and systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed C

International Conference on Formal Techniques for Distributed Objects, Components, and Systems (42nd : 2022 : Lucca, Italy)

Cham : Springer, 2022

 

2009

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (15th : 2009 : York, England)