Verified characteristic formulae for CakeML
Paper i proceeding, 2017
Författare
A. Guéneau
Ecole Normale Superieure (ENS)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
M. Norrish
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 10201 LNCS 584-610Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1007/978-3-662-54434-1_22