An Operational Semantics for FOOPS

Paulo Borba, Joseph Goguen
1994
Type
Conference paper
Publication
Information Systems Correctness And Reusability (ISCORE 1994)
comments powered by Disqus