Weakest-precondition of unstructured programs (2005)

by M BARNETT, K R M LEINO
Venue:in Proceedings of Workshop on Program Analysis for Software Tools and Engineering