发明名称 PROCEDE ET SYSTEME DE VERIFICATION DE PROPRIETES D'UN PROGRAMME INFORMATIQUE.
摘要
申请公布号 FR2911971(B1) 申请公布日期 2009.04.24
申请号 FR20070000557 申请日期 2007.01.26
申请人 COMMISSARIAT A L'ENERGIE ATOMIQUE ETABLISSEMENT PUBLIC A CARACTERE INDUSTRIEL ET COMMERCIAL 发明人 CUOQ PASCAL;MONATE BENJAMIN
分类号 G06F11/00;G06F21/00 主分类号 G06F11/00
代理机构 代理人
主权项
地址