:::
Seminar paper
Entry Year67
Paper title (chapter)Dynamic validation of programs using assertion checking facilities
Name of conferenceIEEE COMPSAG’78 2nd International Computer Software and Applications Conference
Conference starting time1978-01-00
Conference closing time1978-01-00
Name of author (Chinese)Chia-Hsien Wen
Name of author (English)Chia-Hsien Wen
AuthorsW. T. Chen, J. P. Ho, and C.H. Wen
LocationChicago, Illinois, USA
Language used 
  • CSIM Facebook 粉絲頁
cron web_use_log