Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Weakest-precondition of unstructured programs
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

Type: Inproceedings
Pages: 82–87
ISBN: 1-59593-239-9
Address: New York, NY, USA