M. Henson D. Bjorner
First name(s): M. Henson
Last name(s): D. Bjorner

Publications of M. Henson D. Bjorner
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]