Some Approaches for Integration of Specification Techniques |
Anne E. Haxthausen
|
| Abstract | Invited extended abstract |
| Type | Conference paper [With referee] |
| Conference | INT'00 - Integration of Specification Techniques with Applications in Engineering |
| Editors | Technical Report 2000/4 |
| Year | 2000 pp. 33-40 |
| Publisher | Technical University of Berlin |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |