The purpose of this document is to propose a product-oriented software certification process to facilitate use of software synthesis and formal methods.
確定! 回上一頁