Proving the Absence of Stack Overflows.

Daniel Kstner, Christian Ferdinand

Browse the full SAFECOMP paper archive.