A. Prasad Sistla

1 published title

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

(Contributor)

1 edition