Related Books
Language: en
Pages: 531
Pages: 531
Type: BOOK - Published: 2022-07-04 - Publisher: Springer Nature
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After position
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2022-09-21 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in B
Language: en
Pages: 692
Pages: 692
Type: BOOK - Published: 2024-09-10 - Publisher: Springer Nature
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took plac
Language: en
Pages: 336
Pages: 336
Type: BOOK - Published: 2024-11-12 - Publisher: Springer Nature
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, h
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2024-10-29 - Publisher: Springer Nature
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Meth
