An Abstract Equivalence Notion for Object Models

Rohit Gheyi, Tiago Massoni, Paulo Borba
2004
Type
Conference paper
Publication
1st Brazilian Symposium on Formal Methods (SBMF 2004)
comments powered by Disqus