Weakest-precondition of unstructured programs

In  PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Publisher  ACM Press

Details

TypeInproceedings
Pages82–87
ISBN1-59593-239-9
AddressNew York, NY, USA
> Publications > Weakest-precondition of unstructured programs