Daniel Wasserrab
Homepages 🌐
Entries
2010
2009
Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer
by Daniel Wasserrab 🌐
2008
A Correctness Proof for the Volpano/Smith Security Typing System
by Gregor Snelting 🌐 and Daniel Wasserrab 🌐