Skip to main content Skip to main navigation

Publication

Extending development graphs with hiding

Till Mossakowski; Serge Autexier; Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP), Elsevier, 2004.