Atuchin Mikhail Mikhailovich

Publications in Math-Net.Ru

1. Attribute annotations and their use in C program deductive verification
   
   Model. Anal. Inform. Sist., 18:4 (2011),  21–33
2. C program verification in the multilanguage system spectrum
   
   Model. Anal. Inform. Sist., 17:4 (2010),  88–100