> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Attribute Annotations and Their Use in C Program Deductive Verification Beteiligte: M. M. Atuchin; I. S. Anureev Erschienen: 2011 Erschienen in: Modelirovanie i Analiz Informacionnyh Sistem, 18 (2011) 4, Seite 21-33 Sprache: Englisch; Russisch ISSN: 1818-1015; 2313-5417 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang