• Formal Methods
  • *Staff View*

*Result*: Formal Methods

*Title*:
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
*Author/editor-in-chief*:
Chechik, Marsha (Herausgeber); Katoen, Joost-Pieter (Herausgeber); Leucker, Martin (Herausgeber)
*Edition*:
1st ed. 2023
*Publication*:
Cham : Springer International Publishing, 2023
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XVI, 659 Seiten) : 1230 illus., 132 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14000
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Methods. - Cham : Springer International Publishing, 2023. - ISBN 9783031274800
*ISBN*:
9783031274817 ; 3031274814 ; 978--303127480-0 (Sekundärausgabe) ; 978--303127482-4 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-27481-7

*Additional information*

*Additional functions*