Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement.

Tachio Terauchi, Hiroshi Unno

Browse the full ESOP paper archive.