Francesco Logozzo

Francesco Logozzo

2 books in the database

Books

Static AnalysisFrancesco Logozzo

Static Analysis

Francesco Logozzo · 2013

Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo · 2008