Norine Coenen

IEEE Computer Security Foundations Symposium (CSF)

Automated Technology for Verification and Analysis

Computer Aided Verification

IEEE Visualization Conference (VIS)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Computer Aided Verification (CAV)

Computer Aided Verification (CAV)

IEEE Symposium on Logic in Computer Science (LICS)

IEEE Symposium on Logic in Computer Science (LICS)

Computer Aided Verification (CAV)