共 50 条
- [31] THE SENTENCE VERIFICATION TECHNIQUE - A PRACTICAL PROCEDURE FOR TESTING COMPREHENSION JOURNAL OF READING, 1987, 30 (05): : 414 - 422
- [33] Program comprehension as a learning process FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2002, : 343 - 347
- [35] A COTS component comprehension process 13TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2005, : 135 - 144
- [36] The comprehension: linguistic and mathematical process REVISTA IBEROAMERICANA DE EDUCACION, 2008, 46 (08):
- [39] Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 405 - 425