共 50 条
- [42] A Framework for Computer-Aided Design of Educational Domain Models [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 138 - 160
- [45] Computer-aided design [J]. ELECTRONICS & COMMUNICATION ENGINEERING JOURNAL, 1996, 8 (06): : 242 - 242