URI | https://d-nb.info/gnd/10121993-3 |
Entitätstyp | Konferenz oder Veranstaltung |
GND-Nummer | 10121993-3 |
Ländercode | Niederlande |
Veranstaltungsdaten | 2005 |
Veranstaltungsort | Eindhoven |
Varianter Name | International Conference on Integrated Formal Methods (5 : 2005 : Eindhoven) |
Siehe auch |