Development of Specification of Program Based on ECC

• 基于ECC的程序规范描述