TY - THES DP - http://www.theses.fr/2021UPSLE006 TI - Proof-oriented domain-specific language design for high-assurance software AU - Merigoux, Denis A3 - Bhargavan, Karthikeyan; Protzenko, Jonathan PY - 2021 N1 - Thèse de doctorat Informatique Université Paris sciences et lettres 2021 N1 - 2021UPSLE006 UR - http://www.theses.fr/2021UPSLE006/document ER -