A Refinement Theory for Concurrent Object Oriented Languages

Paulo Borba
1996
Type
Conference paper
Publication
X Brazilian Symposium on Software Engineering (SBES 1996)
comments powered by Disqus