DMCA

Verification of Java Programs using Symbolic Execution and Invariant Generation (2004)

Cached

Download Links

by Corina S. Pasareanu , Willem Visser
Citations:51 - 4 self