Publication
The Development Graph Manager MAYA
Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.