What is Program Refinement? Definition of Program Refinement: Is a verifiable transformation of an abstract (i.e., high-level) formal specification into a ...
確定! 回上一頁