%0 Conference Paper %1 CHK+2011a %A Codescu, Mihai %A Horozal, Fulya %A Kohlhase, Michael %A Mossakowski, Till %A Rabe, Florian %A Sojakova, Kristina %B Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010 %D 2012 %E Mossakowski, Till %E Kreowski, Hans-Jörg %I Springer %K imported %P 139-159 %T Towards Logical Frameworks in the Heterogeneous Tool Set Hets %V 7137 %@ 978-3-642-28411-3

@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 }