Efficient weakest preconditions

K. Rustan M. Leino. Efficient weakest preconditions. Inf. Process. Lett., 93(6):281-288, 2005. [doi]

Abstract

Abstract is missing.