Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Tight and Loose Semantics for Transformation Systems
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |