Philippe Heim

Symposium on Principles of Programming Languages (POPL)

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)