Formal, Model-oriented Software Development Methods - From VDM to ProCoS & from RAISE to LaCoS |
|
| Type | Journal paper [With referee] |
| Journal | Future Generation Computer Systems |
| Year | 1991 No. 7 |
| Publisher | North-Holland |
| Note | Also in Proceedings from InfoJapan'90, 1990 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |