URI | https://d-nb.info/gnd/1205160396 |
Entitätstyp | Individualisierte Person |
GND-Nummer | 1205160396 |
Beruf oder Beschäftigung | Informatiker |
Affiliation | Max Planck Institute for Software Systems |
Ländercode | Deutschland |
Wirkungsort | Kaiserslautern |
Geschlecht | Männlich |
Wirkungsdaten | 2013- |
Titelangabe | Hrsg. von: Verification, model checking, and abstract interpretation |
Siehe auch | https://isni.org/isni/0000000497101325 | |