MSR-INRIA Joint Centre

by Karthik Bhargavan , Cédric Fournet , Nataliya Guts