On the Use of Formal Methods in Software Development |
| | Type | Conference paper [With referee] | | Conference | Proc. of 9th International Conf. on Software Engineering, Monterey, California | | Year | 1987 pp. 17-29 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|