@tillmo

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

, , , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2012)

Links and resources

BibTeX key:
CHK+2011a
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication