Login / Signup
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.
Hugo Férée
Johannes Åman Pohjola
Ramana Kumar
Scott Owens
Magnus O. Myreen
Son Ho
Published in:
VSTTE (2018)
Keyphrases
</>
input output
data sets
artificial intelligence
bayesian networks
natural language
formal semantics
neural network
information retrieval
genetic algorithm
e learning
database systems
similarity measure
multiscale
query processing