автор: Leonore D. Zuck

Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation