公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2009 | LTL model checking for recursive programs | Huang, G.-D.; Cai, L.-Z.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
2007 | Test automation for kernel code and disk arrays with virtual devices | Cai, L.-Z.; Wu, R.-S.; Huang, W.-T.; FARN WANG | ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering |