Systems and software verification
model-checking techniques and tools
Livre Ecrit par: Bérard, Béatrice ; Bidoit, Michel ; Publié en: 2001
Edition:
Berlin:
Springer
Springer
Langue:
Anglais
Collation:
190 p. ill.
;24 cm
ISBN: 3540415238
Note: Trad. de : "Vérification de logiciels : techniques et outils du model-checking", Bibliogr. p.179-182. Index