http://d-nb.info/gnd/1028534892




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1028534892
Person Emerson, E. Allen
Geschlecht männlich
Andere Namen Emerson, Ernest Allen
Allen Emerson, E.
Zeit Lebensdaten: 1954-
Land USA (XD-US)
Geografischer Bezug Geburtsort: Dallas, Tex.
Beruf(e) Informatiker
Mathematiker
Hochschullehrer
Weitere Angaben Fachgebiete: automatische Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen
Beziehungen zu Organisationen University of Texas
Typ Person (piz)
Beteiligt an 3 Publikationen
  1. Verification, model checking, and abstract interpretation
    Berlin : Springer, 2006
  2. Verification, model checking, and abstract interpretation [Elektronische Ressource]
    Berlin : Springer, 2006
  3. ...