%0 Conference Paper %1 conf/secdev/SchaeferRCW21 %A Schaefer, Ina %A Runge, Tobias %A Cleophas, Loek %A Watson, Bruce W. %B SecDev %D 2021 %I IEEE %K dblp %P 1-2 %T Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. %U http://dblp.uni-trier.de/db/conf/secdev/secdev2021.html#SchaeferRCW21 %@ 978-1-6654-3170-5

@inproceedings{conf/secdev/SchaeferRCW21, added-at = {2021-12-30T00:00:00.000+0100}, author = {Schaefer, Ina and Runge, Tobias and Cleophas, Loek and Watson, Bruce W.}, biburl = {https://www.bibsonomy.org/bibtex/261d454f0573ca528b6ada4967364777a/dblp}, booktitle = {SecDev}, crossref = {conf/secdev/2021}, ee = {https://doi.org/10.1109/SecDev51306.2021.00012}, interhash = {1beb6ee1a1fa9a5cee7bf3657c2f78f1}, intrahash = {61d454f0573ca528b6ada4967364777a}, isbn = {978-1-6654-3170-5}, keywords = {dblp}, pages = {1-2}, publisher = {IEEE}, timestamp = {2024-04-09T19:20:54.000+0200}, title = {Tutorial: The Correctness-by-Construction Approach to Programming Using CorC.}, url = {http://dblp.uni-trier.de/db/conf/secdev/secdev2021.html#SchaeferRCW21}, year = 2021 }