[  address ]

Dr. David Cerna

Since September 2018, I am a Post-Doc within the JKU LIT Project LOGTECHEDU.

More Information

Science Park 3 (SCP3), 2nd Floor
Room S3 0255

Address

Institute for Formal Models and Verification
Johannes Kepler University Linz
Altenbergerstr. 69
4040 Linz
Austria