[PDF]Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, ...

Bibliographic Information

• Book Title: Formal Methods

• Book Subtitle: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

• Editors: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

• Series Title: Lecture Notes in Computer Science

• DOI: https://doi.org/10.1007/978-3-031-27481-7

• Publisher: Springer Cham

• eBook Packages: Computer Science, Computer Science (R0)

• Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

• Softcover ISBN: 978-3-031-27480-0Published: 03 March 2023

• eBook ISBN: 978-3-031-27481-7Published: 02 March 2023

• Series ISSN: 0302-9743

• Series E-ISSN: 1611-3349

• Edition Number: 1

• Number of Pages: XVI, 659

• Number of Illustrations: 1098 b/w illustrations, 132 illustrations in colour