You are about to access our book library "Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation) full version" .