Towards formal verification in a component-based reuse methodology
by Daniel Karlsson
Bok Engelsk 2003
| Utgitt | Linköping : Department of Computer and Information Science, Linköpings universitet , 2003
|
|---|---|
| Omfang | 187 s. : ill.
|
| Opplysninger | Avhandling (tekn. lic.) - Linköpings universitet, 2003
|
| Emner | Doktoravhandlinger
|
| ISBN | 9173737879
|
