Related Books
Language: en
Pages: 175
Pages: 175
Type: BOOK - Published: 2010-06-11 - Publisher: Springer Science & Business Media
This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods fo
Language: en
Pages: 174
Pages: 174
Type: BOOK - Published: 2010-06-26 - Publisher: Springer
This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods fo
Language: en
Pages: 504
Pages: 504
Type: BOOK - Published: 2013-05-09 - Publisher: Springer
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013.
Language: en
Pages: 669
Pages: 669
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 661
Pages: 661
Type: BOOK - Published: 2023-03-02 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 20
