Publicações

AuthID
P-018-VA7

Author(s)

Carreira, C

Ferreira, JF

Christin, N

Editor(es)

Bianculli,,D;Gomez Martinez,,E

Tipo de Documento

Article in Press

Year published

2025

Publicado

in CoRR, ISSN: 03029743; 16113349

Volume: abs/2504.02124, Páginas: 185-202

Conference

23Rd International Conference on Software Engineering and Formal Methods, Sefm 2025, Date: 2025-11-10 through 2025-11-14, Location: Toledo

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-032-10444-1_12

DBLP: journals/corr/abs-2504-02124

SCOPUS: 2-s2.0-105022883591

Source Identifiers

ISSN: 03029743; 16113349

Export Publication Metadata

Lista Marked

Info

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

Links Úteis