Media type: E-Article Title: Generation of correctness conditions for imperative programs Contributor: Shilov, N. V.; Anureev, I. S.; Bodin, E. V. imprint: Pleiades Publishing Ltd, 2008 Published in: Programming and Computer Software, 34 (2008) 6, Seite 307-321 Language: English DOI: 10.1134/s0361768808060029 ISSN: 1608-3261; 0361-7688 Keywords: Software Origination: Footnote: