Publication Mind the Gap - Maintaining Formal Developments in MAYA Serge Autexier; Dieter Hutter In: Springer-Verlag, 2002. BibTeX Export Mind the Gap - Maintaining Formal Developments in MAYA@incollection{pub1631, author = { Autexier, Serge and Hutter, Dieter }, title = {Mind the Gap - Maintaining Formal Developments in MAYA}, year = {2002}, publisher = {Springer-Verlag} }