Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.

Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker

Browse the full TAP paper archive.