Trustworthy Computing Systems: The ProCoS Experience |
| | Type | Conference paper [With referee] | | Conference | 14'th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia | | Year | 1992 pp. 15-34 | | Publisher | ACM Press | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|