You are about to access our book library "Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (Lecture Notes in Computer Science) full version" .