TNF / INF
FMV
team contact software publications teaching jobs
[ office | contact | address ]
Science Park 3 (SCP3), 2nd Floor Room S30252
curt.langhammer@jku.at +43 732 2468 4547 (phone)
Institute for Formal Models and Verification Johannes Kepler University Altenbergerstr. 69 4040 Linz Austria