Media type: E-Article Title: Attribute Annotations and Their Use in C Program Deductive Verification Contributor: M. M. Atuchin; I. S. Anureev Published: 2011 Published in: Modelirovanie i Analiz Informacionnyh Sistem, 18 (2011) 4, Seite 21-33 Language: English; Russian ISSN: 1818-1015; 2313-5417 Origination: Footnote: Access State: Open Access