Publicações

AuthID
P-00Y-T4J

Author(s)

Angelo, P

Bono, V

Dezani Ciancaglini, M

Editor(es)

Tomb,A

Tipo de Documento

Proceedings Paper

Year published

2023

Publicado

in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023 in FTfJP@ECOOP

Páginas: 32-38 (7)

Conference

25Th Acm International Workshop on Formal Techniques for Java-Like Programs (Ftfjp), Date: JUL 18, 2023, Location: Seattle, WA

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1145/3605156.3606453

DBLP: conf/ftfjp/AngeloBDF23

SCOPUS: 2-s2.0-85170082280

Wos: WOS:001118052000006

Export Publication Metadata

Lista Marked

Info

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

Links Úteis