Marko C. J. D. van Eekelen;Sjaak Smetsers;Marinus J. Plasmeijer
-;-;-
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering