Achieving Safety Incrementally with Checked C.

Andrew Ruef Leonidas Lampropoulos Ian Sweet David Tarditi Michael Hicks

Published in: POST (2019)

Keyphrases

neural network
databases
real world
decision making
knowledge base
natural language
information technology
safety critical
coal mining