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
|
