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

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 nospam@TUGraz.at @tuwien.ac.at

Web-Site

http://www.logic.at/staff/salzer

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Wien

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#