Preface

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

90 Downloads (Pure)
Original languageEnglish
Title of host publication24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Pagesv-vi
Volume13047 LNCS
Publication statusPublished - 2021
Event24th International Symposium on Formal Methods, FM 2021 - Virtual, Online
Duration: 20 Nov 202126 Nov 2021
Conference number: 24

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
ISSN (Print)0302-9743

Conference

Conference24th International Symposium on Formal Methods, FM 2021
Abbreviated titleFM 2021
CityVirtual, Online
Period20/11/2126/11/21

Cite this