URI | https://d-nb.info/gnd/1222451212 |
Entitätstyp | Konferenz oder Veranstaltung |
GND-Nummer | 1222451212 |
Ländercode | Land unbekannt |
Veranstaltungsdaten | 20.10.2020-30.10.2020 |
Varianter Name | International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (9. : 2020 : Online) |
Siehe auch |