WIPO PUBLISHES PATENT OF HITACHI FOR "SOURCE CODE GENERATION DEVICE, SOURCE CODE VERIFICATION DEVICE, SOURCE CODE GENERATION METHOD AND SOURCE CODE GENERATION PROGRAM" (JAPANESE, SWISS, INDIAN INVENTORS) (US Fed News Service, Including US State News)