@misc{indiciae2d6d3d853c65,
  title = {Towards Realizability Checking of Contracts using Theories},
  author = {Andrew Gacek and Andreas Katis and Michael W. Whalen and John Backes and Darren Cofer},
  year = {2015},
  url = {https://arxiv.org/abs/1502.03005},
  note = {Source identifier: 1502.03005}
}