Assessing the Impact of Hints in Learning Formal Specification

AuthID
P-010-FZE
5
Author(s)
Margolis, I
·
Sousa, E
Document Type
Proceedings Paper
Year published
2024
Published
in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024 in SEET@ICSE, ISSN: 0270-5257
Pages: 151-161 (11)
Conference
Acm/Ieee 44Th International Conference on Software Engineering: Software Engineering Education and Training (Icse-Seet), Date: APR 14-20, 2024, Location: Lisbon, PORTUGAL
Indexing
Publication Identifiers
DBLP: conf/icse/CunhaMCMS24
SCOPUS: 2-s2.0-85195440745
Wos: WOS:001234855400015
Source Identifiers
ISSN: 0270-5257
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.