Analysis, Verification and Transformation for Declarative Programming and Intelligent SystemsPedro Lopez-Garcia, Gallagher, John P., Roberto Giacobazzi · First published 2023Open the Tome
Proceedings of the 7th Workshop on Programming Languages Meets Program VerificationRoberto Giacobazzi · First published 2013Open the Tome
Verification, Model Checking, and Abstract InterpretationRoberto Giacobazzi · First published 2013Open the Tome
