类别代数论文

论文题目:程序正确性验证的几个问题论文类型:博士论文论文专业:应用数学作者:范年柏导师:周叔子,张大方关键词:形式化验证,统一建模语言,模型检验,函数式语言,副作用,抽象数据类...