Research

PhD thesis

Publications

Master’s thesis

Advisors: G. Burel and G. Dowek

Talks