Automatic construction of hoare proofs from abstract interpretation results (2003)

Cached

Download Links

by Sunae Seo , Hongseok Yang , Kwangkeun Yi
Venue:In The First Asian Symposium on Programming Languages and Systems, LNCS
Citations:16 - 0 self