Proving the Absence of Stack Overflows

No ratings

Presented at SafeComp 2014 by

Daniel Kästner

Christian Ferdinand

N/A