Underapproximating predicate transformers (2006)

Cached

Download Links

by David A. Schmidt
Venue:In Proc. SAS’06, LNCS
Citations:9 - 4 self