Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging

by M. Hermenegildo , G. Puebla , F. Bueno
Citations:28 - 14 self