Advanced Topics in Term Rewriting 论文

2002引用 250
Logic, programming, and type systemsModel-Driven Software Engineering TechniquesSoftware Engineering Research