Publications of Anne Haxthausen
2008
CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 | , , and ,
![]() [DOI] |
CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 | , , and ,
![]() [DOI] |