EasyChair Smart SlideDocs/Log in
Author: Robert Husák

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

Handling Heap Data Structures in Backward Symbolic Execution

Handling Heap Data Structures in Backward Symbolic Execution

Robert Husák, Jan Kofron and Filip Zavoral

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