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.

Abstract:

n/a

Notes:

n/a

Website

Citation Key:

validityPut