Design of an Object-Oriented Formal Specification Language

Márcio Cornélio, Paulo Borba
1998
Type
Conference paper
Publication
I Brazilian Workshop on Formal Methods (SBMF 1998)
comments powered by Disqus