Personal information
Italy
Activities
Employment (1)
2021-11-01
to
present
|
Dottorandi
(DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA)
Employment
Source:
check_circle
Alma Mater Studiorum Università di Bologna - IRIS
Works (3)
Journal of Logical and Algebraic Methods in Programming
2024-04
|
Journal article
Contributors:
Pietro Lami;
Ivan Lanese;
Jean-Bernard Stefani;
Claudio Sacerdoti Coen;
Giovanni Fabbretti
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
2024-01-01
|
Conference paper
EID:
2-s2.0-85195831307
WOSUID:
WOS:001289646200008
Source:
check_circle
Alma Mater Studiorum Università di Bologna - IRIS
grade
Preferred source
(of
2)
2022
|
Book chapter
Contributors:
Pietro Lami;
Ivan Lanese;
Jean-Bernard Stefani;
Claudio Sacerdoti Coen;
Giovanni Fabbretti
Source:
check_circle
Crossref
grade
Preferred source
(of
2)