Integrating HOL-CASL into the Development Graph Manager MAYA
@inproceedings{AuMo-02-a, author = {Autexier, Serge and Mossakowski, Till}, editor = {A. Armando}, booktitle = {Proceedings of FROCOS'02}, title = {Integrating HOL-CASL into the Development Graph Manager MAYA}, volume = {2309}, series = {LNAI}, publisher = {Springer}, pages = {2-17}, month = {april}, year = {2002}, }