TY  - RPRT
TI  - Semantic Guidance and Feedback for the Construction of Specifications and Implementations
AU  - Paul C Attie
AU  - Fadi A Zaraket
AU  - Mohammad Fawaz
AU  - Mohammad Noureddine
PY  - 2013
UR  - https://arxiv.org/abs/1305.4119
ID  - 1305.4119
ER  -