Treffer: Systems and software verification
Titel:
Systems and software verification : model-checking techniques and tools / B. Bérard ...
Beteiligt:
Veröffentlicht:
Berlin [u.a.] : Springer, 2001
Umfang:
XII, 190 S. : Ill., graph. Darst. ; 24 cm
Format:
Sprache:
Englisch
Schlagworte:
ISBN:
3540415238