法律状态公告日
法律状态信息
法律状态
2009-04-08
专利权的终止(未缴年费专利权终止)
专利权的终止(未缴年费专利权终止)
2006-01-25
授权
授权
2004-06-30
实质审查的生效
实质审查的生效
2003-08-20
公开
公开
机译: 程序验证装置,程序验证方法,用于程序验证的计算机程序,程序转换器,程序转换方法,用于程序转换的计算机程序,程序制造方法和用于验证的程序
机译: 程序验证装置,程序验证方法,用于程序验证的计算机程序,程序转换器,程序转换方法,用于程序转换的计算机程序,程序制造方法和用于验证的程序
机译: 程序验证系统,程序验证方法以及用于存储该程序验证方法的软件的存储介质