The development graph manager MAYA (system description (0)

by D Hutter S Autexier, T Mossakowski, A Schairer
Venue:Algebraic Methodology and Software Technology, 2002