Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 · ENGLISH · PDF View details →
