Don Sannella
First name(s): Don
Last name(s): Sannella

Publications of Don Sannella
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]