A refinement algebra for object-oriented programming

Paulo Borba, Augusto Sampaio, Márcio Cornélio
2003
Type
Conference paper
Publication
17th European Conference on Object-oriented Programming (ECOOP 2003)
comments powered by Disqus