Media type: E-Article Title: C-programs verification based on mixed axiomatic semantics Contributor: Anureev, I. S.; Maryasov, I. V.; Nepomniaschy, V. A. Published: Allerton Press, 2011 Published in: Automatic Control and Computer Sciences, 45 (2011) 7, Seite 485-500 Language: English DOI: 10.3103/s0146411611070029 ISSN: 1558-108X; 0146-4116 Keywords: Signal Processing ; Control and Systems Engineering ; Software Origination: Footnote: