Liu, In-MaoIn-MaoLiu2009-02-212018-06-282009-02-212018-06-281980http://ntur.lib.ntu.edu.tw//handle/246246/137047en-USSeparating Comprehension from the Verification Process