Fast, Verified Computation for HOL ITPs
- Oskar Abrahamsson
- , Magnus O. Myreen
- , Michael Norrish
- , Hrutvik Kanabar
- , Johannes Åman Pohjola*
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
3
Citations
(Scopus)