Coalgebraic Semantics of an Imperative Class Based Language (2003)

by Furio Honsell , Marina Lenisa
Venue:Dipartimento di Matematica e Infomatica, Universita’ di
Citations:2 - 0 self