Nicolas Jeannerod. Le coquillage dans le CoLiS-mateur : Formalisation d'un langage
de programmation de type shell. JFLA 2017 - Vingt-huitième Journées Francophones
des Langages Applicatifs, Jan 2017, Gourette, France. (hal-01432034)
Verification of Shell scripts performing file hierarchy transformations dualities
/ Nicols Jeannerod ; sous la direction de Roberto Di Cosmo. Thèse de doctorat : Informatique
: Université Paris Cité : 2021