Peter Sandon

According to our database, Peter Sandon authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Hybrid verification of a hardware modular reduction engine.

Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011