The development graph manager MAYA (2002)

by S Autexier, D Hutter, T Mossakowski, A Schairer
Venue:In Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002