Tutorial: The Correctness-by-Construction Approach to Programming Using CorC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Ina Schaefer

Look up 'Ina Schaefer' in GoogleThis author has not been identified. Look up 'Tobias Runge' in GoogleThis author has not been identified. Look up 'Loek Cleophas' in GoogleThis author has not been identified. Look up 'Bruce W. Watson' in Google

runs on WebDSL