Industrial Experience in using Formal Methods |
|
| Type | Conference paper [With referee] |
| Conference | Intl. Conf. on Software Engineering |
| Year | 1990 pp. 264-266 |
| Publisher | IEEE Computer Society Press |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |