標題: 軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定
An Environment for Software Verification : Automatic Flowchart Analysis and Test Parameters Assignment
作者: 林正中
國立交通大學資訊工程學系
公開日期: 2003
官方說明文件#: NSC92-CS-7009-003
URI: http://hdl.handle.net/11536/92148
https://www.grb.gov.tw/search/planDetail?id=813365&docId=154404
顯示於類別:研究計畫