👤

Roberto Giacobazzi

3 books

Books by Roberto Giacobazzi

Analysis, Verification and Tra
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
2023
POPL'13
POPL'13
2013
Proceedings of the 7th Worksho
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification
2013