Vérification de logiciels : Techniques et outils de model-checking (1999)

by P SCHNOEBELEN, B BÉRARD, M BIDOIT, F LAROUSSINIE, A PETIT