发明名称 DETECTION OF INTRA-LOOP INVARIANT
摘要
申请公布号 JPH05189244(A) 申请公布日期 1993.07.30
申请号 JP19920004653 申请日期 1992.01.14
申请人 MATSUSHITA ELECTRIC IND CO LTD 发明人 TAKAYAMA SHUICHI;TANAKA AKIRA;IRIKOU JIYUNKO
分类号 G06F9/45 主分类号 G06F9/45
代理机构 代理人
主权项
地址