A Type Theoretic Framework for Formal Metamodelling

Lecture Notes in Computer Science - Architecting Systems with Trustworthy Components ◽

10.1007/11786160_15 ◽

2006 ◽

pp. 262-298 ◽

Cited By ~ 13

Author(s):

Iman Poernomo

Download Full-text