Media type: E-Article Title: Attribute annotations and their use in C program deductive verification Contributor: Atuchin, M. M.; Anureev, I. S. Published: Allerton Press, 2012 Published in: Automatic Control and Computer Sciences, 46 (2012) 7, Seite 308-316 Language: English DOI: 10.3103/s0146411612070036 ISSN: 0146-4116; 1558-108X Keywords: Signal Processing ; Control and Systems Engineering ; Software Origination: Footnote: