Algebraic reasoning for object-oriented programming

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004
Type
Journal article
Publication
Science of Computer Programming
comments powered by Disqus