
Registered user since Tue 23 Dec 2014
Name: Tachio Terauchi
Affiliation: JAIST
Contributions
ESOP 2015 | Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESOP 2015-profile
View general profile
View general profile