Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Thomas Ball, Sriram K. Rajamani (eds.)
Bok Engelsk 2003 International SPIN Workshop
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | VIII, 239 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540401172
|
