John Pierce

According to our database, John Pierce authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Application of Formal Word-Level Analysis to Constrained Random Simulation.

Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi

Proceedings of the Computer Aided Verification, 20th International Conference, 2008