DMCA

Behavioural Subtyping Relations for Object-Oriented Formalisms (2000)

Cached

Download Links

by Clemens Fischer , Heike Wehrheim
Venue:AMAST 2000: International Conference on Algebraic Methodology And Software Technology
Citations:25 - 8 self