Verified bidirectional transformations by construction.

Kevin Lano, Sobhan Yassipour Tehrani

Browse the full MODELS paper archive.