Report copyright - Relational Interfaces and Refinement Calculus for ... · Refinement Calculus for Compositional System Reasoning ... 08.12.2015 Computational Logic Day 2015 1. Overview •Motivation
Please pass captcha verification before submit form