Vol-1570⫷ Vol-1571 ⫸Vol-1572
urn:nbn:de:0074-1571-0


Vol-1571/paper_13⫷Vol-1571/paper_11⫸Vol-1571/paper_9

Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)