共 50 条
- [48] On the Use of Higher-Order Model Transformations MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 18 - +
- [49] Higher-Order Model Checking: An Overview 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 1 - 15