A Practical and Complete Approach to Predicate Refinement

Abstract
No abstract available

This publication has 14 references indexed in Scilit: