Video From 13w5115: Bi-directional transformations (BX) – Theory and Applications Across Disciplines
Wednesday, December 4, 2013 11:00 - 11:18
Correctness and Completeness for Incremental Model Synchronisation Based on TGGs
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.