Philippe Heim

Computer Aided Verification (CAV)

Symposium on Principles of Programming Languages (POPL)

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

European Joint Conference on Theory and Practice of Software (ETAPS) (ETAPS)

Formal Methods in Computer-Aided Design (FMCAD)