Towards Logical Frameworks in the Heterogeneous Tool Set Hets

@inproceedings{pub5830,
    author = {

Codescu, Mihai
 and 

Horozal, Fulya
 and 

Kohlhase, Michael
 and 

Mossakowski, Till
 and 

Rabe, Florian
 and 

Sojakova, Kristina
},
    editor = {

Kreowski, Hans-Jörg
 and 

Mossakowski, Till
},
    title = {Towards Logical Frameworks in the Heterogeneous Tool Set Hets},
    booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2012},
    volume = {7137},
    publisher = {Springer}
}