Verified Characteristic Formulae for CakeML.

Armaël Guéneau Magnus O. Myreen Ramana Kumar Michael Norrish

Published in: ESOP (2017)

Keyphrases

special case
database
high level
data analysis
neural network
metadata
multi agent
pairwise