> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2 Beteiligte: Coglio, Alessandro Erschienen: Open Publishing Association, 2022 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 359 (2022), Seite 185-201 Sprache: Englisch DOI: 10.4204/eptcs.359.15 ISSN: 2075-2180 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang