Provably Correct Graph Transformations with Small-tALC.

Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran

Browse the full ICTERI paper archive.