Nate James

According to our database, Nate James authored at least 1 paper in 2002.

Collaborative distances:

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

2002

Formal verification methods: getting around the brick wall.

David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes

Proceedings of the 39th Design Automation Conference, 2002