Complements Witness Consistency

James McKinna. Complements Witness Consistency. In Anthony Anjorin, Jeremy Gibbons, editors, Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Volume 1571 of CEUR Workshop Proceedings, pages 90-94,, 2016. [doi]


Abstract is missing.