Systems and software verification : model-checking techniques and tools
B. Bérard ... [et al.] ; [translated with the help of Pierre McKenzie]
Bok Engelsk 2001
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c2001
|
Omfang | XII, 190 s. : fig.
|
Emner | |
ISBN | 3540415238
|