Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

Cached

Download Links

by Furio Honsell , Marina Lenisa , Rekha Redamalla
Venue:University of Nijmegen, The Netherlands
Citations:1 - 1 self