JKU

TNF / INF

team
contact
software
publications
teaching
jobs


CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

Address

Altenbergerstr. 69
4040 Linz
Austria

+43 732 2468 4540

Science Park 3 (SCP3)
2nd Floor

How to Reach Us

Science Park 3 (SCP3), 2nd floor


View Larger Map