Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
2022
| 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) |
|
