Prof. Armin Biere#

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

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#