The development graph manager MAYA (2002)

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