Andreas PodelskiBooksTools and Algorithms for the Construction and Analysis of SystemsStatic AnalysisVerification, Model Checking, and Abstract InterpretationNetworked SystemsConstraint Programming: Basics and TrendsConstraint programmingAuthor data: Open Library
