Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證
運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證
Details
Primary Data
Project title
運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證
Internal ID
94-2213-E-002-089-
Principal Investigator
YIH-KUEN TSAY
Start Date
August 1, 2005
End Date
July 31, 2006
Partner Organizations
National Science and Technology Council