Inheritance in Larch interface specification languages, its semantic foundation and formal semantics (1998)

by Yoonsik Cheon
Venue:Proceedings of International Refinement Workshop & Formal Methods Pacific (IRW/FMP) '98, 19 September - 2