A Cloverleaf of Software Engineering |
| | Abstract | Invited talk (and paper) | | Type | Conference paper [With referee] | | Conference | SEEM2005, 3rd IEEE Intl. Conference on Software Engineering and Formal Methods | | Year | 2005 pp. 75-85 | | Address | Koblenz, Germany | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|