%0 Conference Paper %1 conf/ecoop/BorbaSC03 %A Borba, Paulo %A Sampaio, Augusto %A Cornélio, Márcio %B ECOOP %D 2003 %E Cardelli, Luca %I Springer %K dblp %P 457-482 %T A Refinement Algebra for Object-Oriented Programming. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2003.html#BorbaSC03 %V 2743 %@ 3-540-40531-3

@inproceedings{conf/ecoop/BorbaSC03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Borba, Paulo and Sampaio, Augusto and Cornélio, Márcio}, biburl = {https://www.bibsonomy.org/bibtex/232a0d5a638287f344163aeff481b691e/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2003}, editor = {Cardelli, Luca}, ee = {https://doi.org/10.1007/978-3-540-45070-2_20}, interhash = {d912af2235f96905d52bc2bf1f1397ad}, intrahash = {32a0d5a638287f344163aeff481b691e}, isbn = {3-540-40531-3}, keywords = {dblp}, pages = {457-482}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:46:57.000+0200}, title = {A Refinement Algebra for Object-Oriented Programming.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2003.html#BorbaSC03}, volume = 2743, year = 2003 }