> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Generation of correctness conditions for imperative programs Beteiligte: Shilov, N. V.; Anureev, I. S.; Bodin, E. V. Erschienen: Pleiades Publishing Ltd, 2008 Erschienen in: Programming and Computer Software, 34 (2008) 6, Seite 307-321 Sprache: Englisch DOI: 10.1134/s0361768808060029 ISSN: 1608-3261; 0361-7688 Schlagwörter: Software Entstehung: Anmerkungen: