A. A. Petrov

Publication Activity (10 Years)

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

Publications

Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky
C program verification in SPECTRUM multilanguage system. Autom. Control. Comput. Sci. 45 (7) (2011)