Edmund Clarke
Email : Edmund.Clarke[at]cs.cmu.edu
School of Computer Science
Carnegie Mellon University |
Bruce H. Krogh
Email : krogh[at]ece.cmu.edu
Dept. of Electrical and Computer Engineering
Carnegie Mellon University |
Christopher Langmead
Email :
School of Computer Science
Computer Science Department
Carnegie Mellon University |
Xuandong Li
Email: lxd[at]nju.edu.cn
Department of Computer Science and Technology
Nanjing Univeristy, China |
Shengbing Jiang
|
