Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. A weakest precondition calculus for BUnity. Science of Computer Programming, 78(9):1278-1293, 2013. [doi]
@article{AstefanoaeiBDM13, title = {A weakest precondition calculus for BUnity}, author = {Lacramioara Astefanoaei and Frank S. de Boer and Mehdi Dastani and John-Jules Ch. Meyer}, year = {2013}, doi = {10.1016/j.scico.2012.05.009}, url = {http://dx.doi.org/10.1016/j.scico.2012.05.009}, researchr = {https://researchr.org/publication/AstefanoaeiBDM13}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {78}, number = {9}, pages = {1278-1293}, }