Basic laws of ROOL: an object-oriented language

Paulo Borba, Augusto Sampaio
2000
Type
Conference paper
Publication
III Brazilian Workshop on Formal Methods
comments powered by Disqus