A Systematic Kernel Development |
|
| Type | Conference paper [With referee] |
| Conference | ACM SIGSOFT '91 Conference on Software for Critical Systems |
| Year | 1991 Month December pp. 55-65 |
| Publisher | ACM Press |
| Note | Published as ACM Software Engineering Notes, Vol. 16, No. 5. |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |