Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson. Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. In IEEE Secure Development Conference, SecDev 2021, Atlanta, GA, USA, October 18-20, 2021. pages 1-2, IEEE, 2021. [doi]
Abstract is missing.