Dmitry Nadezhin

According to our database, Dmitry Nadezhin authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Formal verification of division and square root implementations, an Oracle report.

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016