Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}