Daniil Prohorov

According to our database, Daniil Prohorov authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Verification of the CAD System for an Application-Specific Processor by Property-Based Testing.

Daniil Prohorov, Aleksandr Penskoi

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020