Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.

Ina Schaefer Tobias Runge Loek Cleophas Bruce W. Watson

Published in: SecDev (2021)

Keyphrases

programming language
general purpose
construction process
real time
development environment
programming environment
database
neural network
real world