%0 Conference Paper %1 conf/frocos/AutexierM02 %A Autexier, Serge %A Mossakowski, Till %B FroCoS %D 2002 %E Armando, Alessandro %I Springer %K dblp %P 2-17 %T Integrating HOL-CASL into the Development Graph Manager MAYA. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2002.html#AutexierM02 %V 2309 %@ 3-540-43381-3

@inproceedings{conf/frocos/AutexierM02, added-at = {2022-10-02T00:00:00.000+0200}, author = {Autexier, Serge and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2f8c4ab7f455319c39847726a68cd1fda/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2002}, editor = {Armando, Alessandro}, ee = {https://doi.org/10.1007/3-540-45988-X_2}, interhash = {0eca47b03602648fb2b6b5642fae0124}, intrahash = {f8c4ab7f455319c39847726a68cd1fda}, isbn = {3-540-43381-3}, keywords = {dblp}, pages = {2-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:37:01.000+0200}, title = {Integrating HOL-CASL into the Development Graph Manager MAYA.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2002.html#AutexierM02}, volume = 2309, year = 2002 }