View of A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Return to Article Details A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference Download Download PDF