Eintrag weiter verarbeiten
Automated technology for verification and analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Weitere Verfasser: | Dang Van Hung 1950- [HerausgeberIn] • Sokolsky, Oleg [HerausgeberIn] |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Cham
Springer
2020.
|
Gesamtaufnahme: |
Springer eBook Collection
Lecture notes in computer science ; 12302 |
Schlagwörter: | |
Quelle: | Verbunddaten SWB |
ISBN: |
9783030591526
|
Wird geladen...