EasyChair Smart SlideDocs/Log in
Author: Zafer Esen

This page shows all presentations of this author published in EasyChair Smart Slide.

An SMT-Lib Theory of Heaps

An SMT-Lib Theory of Heaps

Zafer Esen and Philipp Ruemmer

Eldarica and TriCera: Towards an Open Verification Framework

Eldarica and TriCera: Towards an Open Verification Framework

Zafer Esen

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair