URI https://d-nb.info/gnd/1205160396
EntitätstypIndividualisierte Person
GND-Nummer1205160396
Beruf oder BeschäftigungInformatiker 
AffiliationMax Planck Institute for Software Systems 
LändercodeDeutschland 
WirkungsortKaiserslautern 
GeschlechtMännlich 
Wirkungsdaten2013-
TitelangabeHrsg. von: Verification, model checking, and abstract interpretation
Siehe auchhttps://isni.org/isni/0000000497101325 | Deutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB) | Virtual International Authority File (VIAF) Virtual International Authority File (VIAF) | NACO Authority File NACO Authority File

Datenquellen: DNB Linked-Data-Service (RDF/XML, Turtle) und Entity Facts (JSON-LD) | CC0

Datenquellen: DNB Linked-Data-Service (RDF/XML, Turtle) und Entity Facts (JSON-LD) | CC0