unbekannter Gast

Prof. Armin Biere#

kein Foto vorhanden

Position
Full Professor
Universität
Johannes Kepler Universität Linz
Institut
Institute for Formal Models and Verification
Arbeitsgebiet
Bounded Model Checking, Encoding, Software Model Checking, Network Communication, Software Testing, Formal Reasoning, User Guidance, Formale Methoden, Modellierung, Software Testing, Programm Testen
E-Mail
biere@jku.at
Web-Site
http://fmv.jku.at/biere
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
Johannes Kepler Universität Linz
Institute for Formal Models and Verification
Altenberger Straße 69
4040 Linz Johannes Kepler Universität Linz, Institute for Formal Models and Verification, ...
Ort
Linz
Telefon
-
Anmerkung
-
Benutzer-ID: a.biere



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#