共 50 条
- [43] THE SYMBOLIC AND PRACTICAL VALUES OF PLAYFULNESS IN DIDACTICS ERD 2017 - EDUCATION, REFLECTION, DEVELOPMENT, FIFTH EDITION, 2018, 41 : 649 - 654
- [44] Practical Symbolic Verification of Regular Properties ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 1053 - 1055