2022

Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisC

COORDINATION (Conference) (24th : 2022 : Lucca, Italy)



 

2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2020

Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

FMICS (Conference) (25th : 2020 : Online)



 

2019

Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal)

Cham, Switzerland : Springer, 2019

 

2019

From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

Cham, Switzerland : Springer, 2019

 

2022

Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings

International Conference on Integrated Formal Methods (17th : 2022 : Lugano, Switzerland)

Cham : Springer, [2022]

 

2020

A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday

Amsterdam : IOS Press, [2020]

 

2013

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers

WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia)

Berlin ; New York : Springer, [2013]