%0 Journal Article %1 journals/tse/CavalcantiN00 %A Cavalcanti, Ana %A Naumann, David A. %D 2000 %J IEEE Trans. Software Eng. %K %N 8 %P 713-728 %T A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#CavalcantiN00 %V 26

@article{journals/tse/CavalcantiN00, added-at = {2023-12-12T19:32:10.000+0100}, author = {Cavalcanti, Ana and Naumann, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2d36538b4e5188f332686582fbf0542e1/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.879810}, interhash = {2232afd1a9de52b00c5bc5da4face16b}, intrahash = {d36538b4e5188f332686582fbf0542e1}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 8, pages = {713-728}, timestamp = {2023-12-12T19:32:10.000+0100}, title = {A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#CavalcantiN00}, volume = 26, year = 2000 }