Formal methods [electronic resource] : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Symposium of Formal Methods Europe Online
Other Authors:	Huisman, Marieke, Păsăreanu, Corina S., Zhan, Naijun
Other title:	FM 2021.
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2021.
Series:	Lecture notes in computer science ; 13047. Lecture notes in computer science. Formal methods. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Conference papers and proceedings.