![](/img/cover-not-exists.png)
[ACM Press The 6th ACM SIGPLAN-SIGSOFT workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 - Weakest-precondition of unstructured programs
Barnett, Mike, Leino, K. Rustan M.Year:
2005
Language:
english
DOI:
10.1145/1108792.1108813
File:
PDF, 119 KB
english, 2005