Semantics of architectural specifications in Casl (2001)

by Lutz Schröder , Till Mossakowski , Andrzej Tarlecki , Bartek Klin , Piotr Hoffman
Venue:Proc. 4th Intl. Conf. Fundamental Approaches to Software Engineering FASE’01, Springer LNCS 2029
Citations:8 - 6 self