%0 Conference Paper
%B Proceedings of the 19th International Symposium on Formal Methods (FM 2014)
%D 2014
%T Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper)
%A Hu, Z.
%A Hugo Pacheco
%A Fischer, S.
%I Springer-Verlag
%P 1–15
%U publications/fm14.pdf
%X n/a
%Z n/a