作者: Francesco Logozzo

支持

2 电子书 Francesco Logozzo

的封面 Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation
…
PDF
英语
DRM
€58.19
的封面 Manuel Fahndrich & Francesco Logozzo: Static Analysis
Manuel Fahndrich & Francesco Logozzo: Static Analysis
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presente …
PDF
英语
DRM
€57.99