> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language Beteiligte: Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V. Erschienen: Springer Science and Business Media LLC, 2003 Erschienen in: Programming and Computer Software, 29 (2003) 6, Seite 338-350 Sprache: Englisch DOI: 10.1023/b:pacs.0000004134.24714.e5 ISSN: 0361-7688 Schlagwörter: Software Entstehung: Anmerkungen: