Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 1.

Kanabar, Hrutvik, Fox, Anthony C. J., Myreen, Magnus O. (2022) Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification. In: Leibniz International Proceedings in Informatics (LIPIcs). 13th International Conference on Interactive Theorem Proving (ITP 2022). 237. 20:1-20:22. Schloss Dagstuhl – Leibniz-Zentrum für Informatik ISBN 978-3-95977-252-5. (doi:10.4230/LIPIcs.ITP.2022.20) (KAR id:102663)

This list was generated on Sun May 19 00:54:59 2024 BST.