Software engineering and formal methods: 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SEFM Online (VerfasserIn)
Weitere beteiligte Personen: de Boer, Frank S. (HerausgeberIn), Cerone, Antonio (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:Englisch
Veröffentlicht: Cham, Switzerland Springer [2020]
Schriftenreihe:Lecture notes in computer science 12310
Schlagwörter:
Links:https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
https://doi.org/10.1007/978-3-030-58768-0
Umfang:1 Online-Ressource (xiv, 325 Seiten) 639 Illustrationen, 63 in Farbe
ISBN:9783030587680
DOI:10.1007/978-3-030-58768-0