Related Books
Language: en
Pages: 620
Pages: 620
Type: BOOK - Published: 2015-05-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full p
Language: en
Pages: 807
Pages: 807
Type: BOOK - Published: 2016-11-06 - Publisher: Springer
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 3
Language: en
Pages: 220
Pages: 220
Type: BOOK - Published: 2015-05-11 - Publisher: Springer
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 20
Language: en
Pages: 669
Pages: 669
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 599
Pages: 599
Type: BOOK - Published: 2018-10-28 - Publisher: Springer
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo