Sebastian Erdweg is co-organizing a Dagstuhl seminar on Static Methods for Correctness of Model and Program Transformations in March 2020.
Sebastian Erdweg is co-organizing a Dagstuhl seminar on Static Methods for Correctness of Model and Program Transformations in March 2020.