Michael Barnett, K. Rustan M. Leino
Weakest-precondition of unstructured programs
PASTE, 2005.
@inproceedings{PASTE-2005-BarnettL, author = "Michael Barnett and K. Rustan M. Leino", booktitle = "{Proceedings of the Sixth Workshop on Program Analysis for Software Tools and Engineering}", doi = "10.1145/1108792.1108813", isbn = "1-59593-239-9", pages = "82--87", publisher = "{ACM}", title = "{Weakest-precondition of unstructured programs}", year = 2005, }