Weakest-precondition of unstructured programs
Mike Barnett and K. Rustan M. Leino
2005
In: PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Publisher: ACM Press
Details
| Type: | Inproceedings |
| Pages: | 82–87 |
| ISBN: | 1-59593-239-9 |
| Address: | New York, NY, USA |
Related People
©2009 Microsoft Corporation. All rights reserved.