Inproceedings,
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
M. Fowler, E. Kraemer, Y. Sun, M. Sitaraman, J. Hallstrom, and J. Hollingsworth.ECSEE, page 52-60. ACM, (2020)
Meta data
- BibTeX key
- conf/ecsee/FowlerKSSHH20
- entry type
- inproceedings
- booktitle
- ECSEE
- year
- 2020
- pages
- 52-60
- publisher
- ACM
- crossref
- conf/ecsee/2020
- ee
- https://doi.org/10.1145/3396802.3396807
- isbn
- 978-1-4503-7752-2
- url
- http://dblp.uni-trier.de/db/conf/ecsee/ecsee2020.html#FowlerKSSHH20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ecsee/FowlerKSSHH20
%A Fowler, Megan
%A Kraemer, Eileen T.
%A Sun, Yu-Shan
%A Sitaraman, Murali
%A Hallstrom, Jason O.
%A Hollingsworth, Joseph E.
%B ECSEE
%D 2020
%E Mottok, Jürgen
%I ACM
%K dblp
%P 52-60
%T Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
%U http://dblp.uni-trier.de/db/conf/ecsee/ecsee2020.html#FowlerKSSHH20
%@ 978-1-4503-7752-2
@inproceedings{conf/ecsee/FowlerKSSHH20,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Fowler, Megan and Kraemer, Eileen T. and Sun, Yu-Shan and Sitaraman, Murali and Hallstrom, Jason O. and Hollingsworth, Joseph E.},
biburl = {https://www.bibsonomy.org/bibtex/26944837dfe0bccacde8c79b7d7405579/dblp},
booktitle = {ECSEE},
crossref = {conf/ecsee/2020},
editor = {Mottok, Jürgen},
ee = {https://doi.org/10.1145/3396802.3396807},
interhash = {d9ef65ef063553431c195dfb7e2f2f8f},
intrahash = {6944837dfe0bccacde8c79b7d7405579},
isbn = {978-1-4503-7752-2},
keywords = {dblp},
pages = {52-60},
publisher = {ACM},
timestamp = {2024-04-10T11:21:36.000+0200},
title = {Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.},
url = {http://dblp.uni-trier.de/db/conf/ecsee/ecsee2020.html#FowlerKSSHH20},
year = 2020
}