Publicações

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(es)

Alexander Raschke; Dominique Méry; Frank Houdek

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

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, Páginas: 61-77

Conference

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

Indexing

Scopus^®

Dblp^®/pt/publications/view/826007

Crossref^®4

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

Info

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

Experiences on Teaching Alloy with an Automated Assessment Platform

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Experiences on Teaching Alloy with an Automated Assessment Platform

Links Úteis

Ajuda