Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Weakest-precondition of unstructured programs

Mike Barnett and K. Rustan M. Leino

Details

Publication typeInproceedings
Published inPASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Pages82–87
ISBN1-59593-239-9
AddressNew York, NY, USA
PublisherACM Press
> Publications > Weakest-precondition of unstructured programs