Media type: E-Article Title: C-programs Verification on Basis of Mixed Axiomatic Semantics Contributor: I. S. Anureev; I. V. Maryasov; V. A. Nepomniaschy Published: 2010 Published in: Modelirovanie i Analiz Informacionnyh Sistem, 17 (2010) 3, Seite 5-28 Language: English; Russian ISSN: 2313-5417; 1818-1015 Origination: Footnote: Access State: Open Access