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

• Record Nr.: UNISA996464527203316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2021]; ©2021
• ISBN: 3-030-90870-4
• Descrizione fisica: 1 online resource (801 pages)
• Collana: Lecture notes in computer science ; ; 13047
• Disciplina: 004.0151
• Soggetti: Formal methods (Computer science)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.