From specifications to code in Casl (2002)

by David Aspinall , Donald Sannella
Venue:Proc. 9th Intl. Conf. on Algebraic Methodology and Software Technology, AMAST'02. Springer LNCS 2422, 1--14 (2002). [ABK + 02
Citations:4 - 1 self