TNF
/ INF
team
contact
software
publications
teaching
jobs
|
[ hours |
office | contact | address ]
Doris Falb
Secretary
- Monday, 09:30 - 11:30 and 13:00 - 15:00
- Tuesday, 09:30 - 11:30
- Thursday, 09:30 - 11:30 and 13:00 - 15:00
Science Park 3 (SCP3), 2nd
Floor
Room S30250/1
office.FMV@jku.at
+43 732 2468 4540 (phone)
Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria
|