I. N. Mikhailov

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky
Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Program. Comput. Softw. 28 (6) (2002)