Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: K

Number of items: 1.

K

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 Thu May 9 22:49:35 2024 BST.