William Canfield

According to our database, William Canfield authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Checking Formal Specifications under Simulation.

William Canfield, E. Allen Emerson, Avijit Saha

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997