COMPASS : introduction of formal methods in code development and inspection
Tim Heyer
Bok Engelsk 1998
| Utgitt | Linköping : Department of Computer and Information Science, Linköping University , 1998
|
|---|---|
| Omfang | X, 105 s. : fig.
|
| Opplysninger | Avhandling (tekn. lic.) - Linköpings universitet, 1998.
|
| Emner | |
| ISBN | 9172192267
|
