Author: Leonore D. Zuck Support1 Ebooks by Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF English DRM €58.19 0 0 Checkout 0,00 × × × Change user language × ArabicGermanEnglishSpanishFrenchHindiIndonesianItalianMalayDutchPolishPortugueseRomanianRussianSwedishThaiTurkishUkrainianVietnameseChineseInternational Modal ×