> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: LIPIcs, Volume 19, TYPES'11, Complete Volume Beteiligte: Danielsson, Nils Anders [Verfasser:in]; Nordström, Bengt [Verfasser:in] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.TYPES.2011 Schlagwörter: Specifying and Verifying and Reasoning about Programs ; Applicative (Functional) Programming ; Software/Program Verification ; Mathematical Logic Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 19, TYPES'11, Complete Volume Zugangsstatus: Freier Zugang