Publicações

AuthID
P-00Y-EEZ

Author(s)

Tipo de Documento

Proceedings Paper

Year published

2023

Publicado

in Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, ISSN: 0302-9743

Volume: 13160 LNCS, Páginas: 222-232

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-031-31476-6_12

DBLP: conf/birthday/PintoP23a

SCOPUS: 2-s2.0-85159781273

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis