M. V. Arkhipova

According to our database, M. V. Arkhipova authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Directed Generation of Test Data for Static Semantics Checker.

M. V. Arkhipova, Sergey V. Zelenov

Proceedings of the Leveraging Applications of Formal Methods, 2008