Robert B. Jones

1969

• Symbolic simulation methods for industrial formal verification