Pavel Putro

According to our database, Pavel Putro authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Proceedings of the Tests and Proofs - 14th International Conference, 2020