Title

Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions

Document Type

Article

Publication Date

2020

DOI Number / ISBN

https://doi-org.proxyse.uits.iu.edu/10.1145/3396802.3396807

External Access URL

https://doi-org.proxyse.uits.iu.edu/10.1145/3396802.3396807

Share

COinS