Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Automated technology for verification and analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

Gespeichert in:

Personen und Körperschaften: Dang Van Hung (HerausgeberIn), Sokolsky, Oleg (HerausgeberIn), ATVA 18. 2020 Online (VerfasserIn)
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...