> 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 based on mixed axiomatic semantics Beteiligte: Anureev, I. S.; Maryasov, I. V.; Nepomniaschy, V. A. Erschienen: Allerton Press, 2011 Erschienen in: Automatic Control and Computer Sciences, 45 (2011) 7, Seite 485-500 Sprache: Englisch DOI: 10.3103/s0146411611070029 ISSN: 0146-4116; 1558-108X Schlagwörter: Signal Processing ; Control and Systems Engineering ; Software Entstehung: Anmerkungen: