M. M. Atuchin

Publication Activity (10 Years)

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

Top Topics

Hardware Designs

Control Program

Functional Programs

Top Venues

Autom. Control. Comput. Sci.

Publications

M. M. Atuchin, Igor S. Anureev
Attribute annotations and their use in C program deductive verification. Autom. Control. Comput. Sci. 46 (7) (2012)
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)