> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: C-programs Verification on Basis of Mixed Axiomatic Semantics Beteiligte: I. S. Anureev; I. V. Maryasov; V. A. Nepomniaschy Erschienen: 2010 Erschienen in: Моделирование и анализ информационных систем, 17 (2010) 3, Seite 5-28 Sprache: Englisch; Russisch ISSN: 2313-5417; 1818-1015 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang