Francesco Logozzo

Francesco Logozzo

2 ספרים במאגר

ספרים

Static AnalysisFrancesco Logozzo

Static Analysis

Francesco Logozzo · 2013

Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo · 2008