Algebraic-coalgebraic specification in CoCasl (2006)

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