@misc{indiciae22c5e6b1be05,
  title = {Interface Building for Software by Modular Three-Valued Abstraction Refinement},
  author = {Pritam Roy},
  year = {2010},
  url = {https://arxiv.org/abs/1004.5382},
  note = {Source identifier: 1004.5382}
}