程式自動驗證系統之開發

Translated title of the contribution: A programs verification system

劉立偉

Research output: Types of Thesis › Master's thesis

Translated title of the contributionA programs verification system
Original languageChinese (Traditional)
Supervisors/Advisors
  • Chung, Chyan-Goei, Supervisor
StatePublished - 2005
Externally publishedYes

Access to Document

Cite this