TY  - RPRT
TI  - Interface Building for Software by Modular Three-Valued Abstraction Refinement
AU  - Pritam Roy
PY  - 2010
UR  - https://arxiv.org/abs/1004.5382
ID  - 1004.5382
ER  -