Next
Vérification de logiciels : techniques et outils du model-checking / Béatrice Bérard ... [et al.] ; coordination, Philippe Schnoebelen.
Paris : Vuibert, ©1999.
xv, 197 p.