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
|