Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions
Document Type
Conference Proceeding
Publication Date
2020
DOI Number / ISBN
10.1145/3396802.3396807
External Access URL
https://doi.org/10.1145/3396802.3396807
Recommended Citation
Fowler, M., Kraemer, E. T., Sun, Y.-S., Sitaraman, M., Hallstrom, J. O., & Hollingsworth, J. E. (2020). Tool-aided assessment of difficulties in learning formal design-by-contract assertions. Proceedings of the 4th European Conference on Software Engineering Education, 52-60. https://doi.org/10.1145/3396802.3396807
COinS