Algorithmic logic-based verification

Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas. Algorithmic logic-based verification. SIGLOG News, 2(2):29-38, 2015. [doi]

Abstract

Abstract is missing.