Jacob Abraham

Digital Library

ACM Fellows

USA - 2001

citation

For outstanding contributions in the fields of fault tolerant computing, automatic test generation and design for test, and formal verification.