2005-08-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/709384運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證