Ho, H. F.H. F.Ho陳健輝郭德盛Chen, Gen-HueyGen-HueyChenKuo, Te-SonTe-SonKuo2009-02-032018-07-052009-02-032018-07-051991http://ntur.lib.ntu.edu.tw//handle/246246/118564en-USBranch Testing for OCCAM Programsconference paper