In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
Mind the Gap - Maintaining Formal Developments in MAYA
@incollection{pub1880,
author = {
Autexier, Serge
and
Hutter, Dieter
},
title = {Mind the Gap - Maintaining Formal Developments in MAYA},
booktitle = {Festschrift in Honor of J.H.~Siekmann},
year = {2005},
publisher = {Springer-Verlag, LNCS 2605}
}