@inproceedings{AutexierMossakowski02,
  abstract = {For the recently developed specification language CASL, there exist two different kinds of proof support: while HOL-CASL has its strength in proofs about specifications in-the-small, MAYA has been designed for management of proofs in (CASL) specifications in-the-large, within an evolutionary formal software development process involving changes of specifications. In this work, we discuss our integration of HOL-CASL and MAYA into a powerful system providing tool support for CASL, which will also serve as a basis for the integration of further proof tools. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Autexier, S. and Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/230cdb6adb3fb83c952eb2062b0b028be/tillmo},
  booktitle = {Frontiers of Combining Systems, 4th International Workshop},
  editor = {Armando, A.},
  interhash = {0eca47b03602648fb2b6b5642fae0124},
  intrahash = {30cdb6adb3fb83c952eb2062b0b028be},
  keywords = {imported},
  pages = {2--17},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/hol_maya.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Integrating {HOLCASL} into the Development Graph Manager {MAYA}},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;},
  volume = 2309,
  year = 2002
}