Login / Signup
The Verifying Compiler: A Grand Challenge for Computing Research.
C. A. R. Hoare
Published in:
CC (2003)
Keyphrases
</>
grand challenge
autonomous driving
general purpose
database
software systems
model checking
grand challenges
programming language