Ho, Hong-FaHong-FaHo陳健輝郭德盛Chen, Gen-HueyGen-HueyChenKuo, Te-SonTe-SonKuo2009-02-032018-07-052009-02-032018-07-051988-12http://ntur.lib.ntu.edu.tw//handle/246246/118566en-USBranch Testing for Occam Programsconference paper