《基於模型的軟體驗證與測試》是2013年西北工業大學出版社出版的圖書，作者是鄭煒。 基本介紹 中文名：基於模型的軟體驗證與測試作者：鄭煒出版社：西北工業大學出版社出版時間：2013年8月1日ISBN：9787561237670
