Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging | Publicación