Georges Mariano

Evaluation de logiciels critiques développés par la méthode B : une approche quantitative

Georges Mariano, 1997 .

Coq, l'alpha et l'omega de la preuve pour B ?

Georges Mariano, Samuel Colin, 2009 .