@misc{indiciae796b78163045,
  title = {Formal Reasoning Using an Iterative Approach with an Integrated Web IDE},
  author = {Nabil M. Kabbani and Daniel Welch and Caleb Priester and Stephen Schaub and Blair Durkee and Yu-Shan Sun and Murali Sitaraman},
  year = {2015},
  doi = {10.4204/eptcs.187.5},
  url = {https://arxiv.org/abs/1508.03896},
  note = {Source identifier: 1508.03896}
}