Login / Signup

On Simulation, Subtyping and Substitutability in Sequential Object Systems.

Ian Maung
Published in: Formal Aspects Comput. (1995)
Keyphrases