Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Paper
An experiment in automatic verification of programs
Related
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
John M. Boyer, Charles F. Wiecha
DocEng 2009
Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012