瀏覽 的方式: 作者 Sun, Chia-Ho
顯示 1 到 1 筆資料,總共 1 筆
題名 | 作者 | 日期 |
---|---|---|
A Dual Language Approach to Software Formal Specifications and Safety Analysis | Fan, Chin-Feng; Sun, Chia-Ho; Yih, Swu | 2006-10-16T03:31:12Z |
題名 | 作者 | 日期 |
---|---|---|
A Dual Language Approach to Software Formal Specifications and Safety Analysis | Fan, Chin-Feng; Sun, Chia-Ho; Yih, Swu | 2006-10-16T03:31:12Z |