Formal Software Development in Maya
@incollection{AH-05-a, author = {Autexier, Serge and Hutter, Dieter}, editor = {Hutter, Dieter and Stephan, Werner}, booktitle = {Festschrift in Honor of J. Siekmann}, title = {Formal Software Development in Maya}, volume = {2605}, series = {LNAI}, publisher = {Springer}, month = {february}, year = {2005}, }