@misc{indiciae0b1cd8822cfc,
  title = {Semantic Guidance and Feedback for the Construction of Specifications and Implementations},
  author = {Paul C Attie and Fadi A Zaraket and Mohammad Fawaz and Mohammad Noureddine},
  year = {2013},
  url = {https://arxiv.org/abs/1305.4119},
  note = {Source identifier: 1305.4119}
}