K. Rustan M. Leino. Efficient weakest preconditions. Inf. Process. Lett., 93(6):281-288, 2005. [doi]
@article{Leino05:1, title = {Efficient weakest preconditions}, author = {K. Rustan M. Leino}, year = {2005}, doi = {10.1016/j.ipl.2004.10.015}, url = {http://dx.doi.org/10.1016/j.ipl.2004.10.015}, researchr = {https://researchr.org/publication/Leino05%3A1}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {93}, number = {6}, pages = {281-288}, }