Vérification de logiciels : techniques et outils du model-checking. Vuibert (1999)

by P Schnoebelen, B Bérard, M Bidoit, F Laroussinie, A Petit