unbekannter Gast

Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Gernot Salzer#

kein Foto vorhanden

Position
Univ.Dozent
Universität
Technische Universität Wien
Institut
E185 - Institut für Computersprachen
Arbeitsgebiet
Formale Methoden, Spezifikation Und Verifikation Von Hard- Und Software, Computational Logic, Formal Methods, Logik
E-Mail
gernot.salzer@tuwien.ac.at
Web-Site
http://www.logic.at/staff/salzer
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
-
Ort
Wien
Telefon
-
Anmerkung
-
Benutzer-ID: g.salzer



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#