Jacob Abraham
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.
citation
For outstanding contributions in the fields of fault tolerant computing, automatic test generation and design for test, and formal verification.