:::
Academic Degree
Paper NameAutomated Tools for Validating Computer Programs
Date of publication1978-06-00
Name of author (Chinese)Chia-Hsien Wen
Name of author (English)Chia-Hsien Wen
AuthorsWen, Chia-Hsien
作者分類第一作者
Class碩士論文
School name國立清華大學應用數學研究所
Location新竹市
Language used英文
  • CSIM Facebook 粉絲頁
cron web_use_log