Emanuele De Angelis

Registered user since Fri 20 Nov 2015

Name:Emanuele De Angelis
Country:Italy
Affiliation:CNR-IASI
Research interests:Automatic Verification & Validation, Program Transformation

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2023-profile
View general profile