@inproceedings{CHK+2011a,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Horozal, Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian and Sojakova, Kristina},
  biburl = {https://www.bibsonomy.org/bibtex/2f67268d07f0c26fad20c272f3ede0ee8/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010},
  editor = {Mossakowski, Till and Kreowski, Hans-J{\"o}rg},
  interhash = {993ff094f1ea8fc23b1b77b9bd061bcb},
  intrahash = {f67268d07f0c26fad20c272f3ede0ee8},
  isbn = {978-3-642-28411-3},
  keywords = {imported},
  pages = {139-159},
  pdfurl = {https://svn.omdoc.org/repos/latin/public/latin-integration_wadt10.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2018-05-03T17:13:53.000+0200},
  title = {Towards Logical Frameworks in the Heterogeneous Tool Set Hets},
  volume = 7137,
  year = 2012
}