Algebraic-coalgebraic specification in CoCasl (2006)

by Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder
Venue:J. LOGIC ALGEBRAIC PROGRAMMING
Citations:19 - 8 self