> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM Beteiligte: DANVY, OLIVIER Erschienen: Cambridge University Press (CUP), 2023 Erschienen in: Journal of Functional Programming Sprache: Englisch DOI: 10.1017/s0956796823000011 ISSN: 0956-7968; 1469-7653 Schlagwörter: Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang