Formal methods: 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Symposium on Formal Methods Lübeck (VerfasserIn)
Weitere Verfasser: Chechik, Marsha (HerausgeberIn), Katoen, Joost-Pieter (HerausgeberIn), Leucker, Martin (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2023]
Schriftenreihe:Lecture notes in computer science 14000
Schlagworte:
Online-Zugang:DE-522
DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
Volltext
Beschreibung:1 Online-Ressource (xvi, 659 Seiten) 1230 Illustrationen, 132 in Farbe
ISBN:9783031274817
ISSN:1611-3349
DOI:10.1007/978-3-031-27481-7