Publicações

AuthID
P-00Y-EF0

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: 206-221

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

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

DBLP: conf/birthday/PintoP23

SCOPUS: 2-s2.0-85159780921

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