Thèse de Simon Lunel

"Parallélisme et preuve modulaire en logique différentielle dynamique" thèse de doctorat de l'Université de Rennes 1 en informatique