This page shows all presentations of this author published in EasyChair Smart Slide.
Template-Based Verification of Heap-Manipulating Programs
Viktor Malík, Martin Hruska, Peter Schrammel and Tomas Vojnar