Publications

AuthID
P-00Y-T4J

Author(s)

Angelo, P

Bono, V

Dezani Ciancaglini, M

Editor(s)

Tomb,A

Document Type

Proceedings Paper

Year published

2023

Published

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

Pages: 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

Marked List

Info

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

Useful Links