Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST

First Page		Document Content
Date: 2015-03-22 10:07:22		Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST Add to Reading List Source URL: www.cs.tsukuba.ac.jp Download Document from Source Website File Size: 811,76 KB Share Document on Facebook