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 Projects
Related People
Related Groups
- Programming Languages working group (PLX)
- Research in Software Engineering (RiSE)
- RiSE Working Group on Program Analysis
Related Labs
Share
