Login / Signup
Type Soundness and Race Freedom for Mezzo.
Thibaut Balabonski
François Pottier
Jonathan Protzenko
Published in:
FLOPS (2014)
Keyphrases
</>
case study
real time
information systems
training data
multiscale
objective function