发明名称 An interoperable extensible system for the generation of verified software
摘要
申请公布号 GB201611967(D0) 申请公布日期 2016.08.24
申请号 GB20160011967 申请日期 2016.07.08
申请人 Cocotec Limited 发明人
分类号 主分类号
代理机构 代理人
主权项
地址