Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper)
Citation:
Hu Z, Pacheco H, Fischer S.
2014. Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper). Proceedings of the 19th International Symposium on Formal Methods (FM 2014). :1–15.