2023

Concise guide to software verification : from model checking to annotation checking

Huisman, Marieke, author.

Cham, Switzerland : Springer, [2023]

 

2021

Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings

International Symposium of Formal Methods Europe (24th : 2021 : Online)



 

2022

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (27th : 2022 : Warsaw, Poland)

Cham : Springer, [2022]

 

2023

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed C

FORTE Conference (43rd : 2023 : Lisbon, Portugal)

Cham : Springer, [2023]

 

2017

Fundamental approaches to software engineering : 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Swede

FASE (Conference) (20th : 2017 : Uppsala, Sweden)

Berlin, Germany : Springer, 2017

 

2016

Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

International Conference on Integrated Formal Methods (12th : 2016 : Reykjavík, Iceland)

Switzerland : Springer, 2016

 

2018

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (24th : 2018 : Thessalonikē, Greece)

Cham, Switzerland : Springer Open, 2018

 

2018

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (24th : 2018 : Thessalonikē, Greece)

Cham, Switzerland : Springer Open, 2018

 

2019

Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, 2019