%0 Conference Paper %1 conf/esop/TerauchiU15 %A Terauchi, Tachio %A Unno, Hiroshi %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 610-633 %T Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#TerauchiU15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/TerauchiU15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Terauchi, Tachio and Unno, Hiroshi}, biburl = {https://www.bibsonomy.org/bibtex/29dd8aabc10e1707851c203a30e5b0961/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_25}, interhash = {9a7450b067adb12ed9e57b43b4a6efce}, intrahash = {9dd8aabc10e1707851c203a30e5b0961}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {610-633}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:55.000+0200}, title = {Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#TerauchiU15}, volume = 9032, year = 2015 }