Publications

Experiences on Teaching Alloy with an Automated Assessment Platform

AuthID
P-00S-6MQ

Author(s)

Macedo, N

Cunha, A

Pereira, J

Carvalho, R

Silva, R

Paiva, ACR

Ramalho, MS

Silva, DC

Editor(s)

Alexander Raschke; Dominique Méry; Frank Houdek

Document Type

Proceedings Paper

Year published

2020

Published

in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12071, Pages: 61-77

Conference

7Th International Conference on Rigorous State-Based Methods, Abz 2020, Date: 27 May 2020 through 29 May 2020

Indexing

Scopus^®

Dblp^®/en/publications/view/826007

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-48077-6_5

DBLP: conf/asm/MacedoCPCSPRS20

SCOPUS: 2-s2.0-85086081685

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Experiences on Teaching Alloy with an Automated Assessment Platform

Useful Links

Get Help

Federated Authentication (Click on the image)

Experiences on Teaching Alloy with an Automated Assessment Platform

Useful Links

Get Help