URI https://d-nb.info/gnd/1222451212
EntitätstypKonferenz oder Veranstaltung
GND-Nummer1222451212
LändercodeLand unbekannt 
Veranstaltungsdaten20.10.2020-30.10.2020
Varianter NameInternational Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (9. : 2020 : Online)
Siehe auchDeutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB) | Virtual International Authority File (VIAF) Virtual International Authority File (VIAF)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0