Program Debugging and Validation Using Semantic Approximations and Partial Specifications | Publicación