by Z. Hu, H. Pacheco, S. Fischer
Reference:
Z. Hu, H. Pacheco, S. Fischer, Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper), In Proceedings of the 19th International Symposium on Formal Methods (FM 2014), Springer-Verlag, pp. 1-15, 2014.
Bibtex Entry:
@inproceedings{validityPut,
author = {Hu, Z. and Pacheco, H. and Fischer, S.},
title = {Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper)},
booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
url = {publications/fm14.pdf},
pages = {1--15},
publisher = {Springer-Verlag},
year = {2014}
}