Some Approaches for Integration of Specification Techniques

Anne E. Haxthausen

AbstractInvited extended abstract
TypeConference paper [With referee]
ConferenceINT'00 - Integration of Specification Techniques with Applications in Engineering
EditorsTechnical Report 2000/4
Year2000    pp. 33-40
PublisherTechnical University of Berlin
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering