Alan J. Hu

1 published title

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings

(Contributor)

1 edition