An Abstract Equivalence Notion for Object Models

Publication
Electronic Notes in Theoretical Computer Science
comments powered by Disqus