Weakest Precondition for General Recursive Programs Formalized in Coq (2002)

Cached

Download Links

by Xingyuan Zhang , Malcolm Munro , Mark Harman , Lin Hu
Citations:4 - 1 self