I. N. Mikhailov

According to our database, I. N. Mikhailov authored at least 1 paper in 2002.

Collaborative distances:

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

2002

Towards Verification of C Programs. C-Light Language and Its Formal Semantics.

Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky

Program. Comput. Softw., 2002