> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Properties of Inference Systems for Floyd-Hoare Logic with Partial Predicates Beteiligte: NIKITCHENKO, Mykola; KRYVOLAP, Andrii Erschienen: Technical University of Kosice, Faculty of Electrical Engineering and Informatics, 2013 Erschienen in: Acta Electrotechnica et Informatica, 13 (2013) 4, Seite 70-78 Sprache: Nicht zu entscheiden DOI: 10.15546/aeei-2013-0052 ISSN: 1335-8243; 1338-3957 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang