@tillmo

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

, , , , , и . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 139-159. Springer, (2012)

Линки и ресурсы

тэги