Anne Haxthausen
First name(s): Anne
Last name(s): Haxthausen

Publications of Anne Haxthausen
2008
Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki, CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008
download
[DOI]