Sign in
The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk).
June Andronick
Published in:
CPP (2022)
Keyphrases
</>
invited talk
databases
theorem proving
selected papers
knowledge discovery and data mining
verification method