David Naumann
QPQ (QED Pro Quo) is a repository for formal content in electronic form, including
systems, software, libraries, benchmarks, tutorials, and technical reports.
Author's home page in this site…
Latest content created by this user
| File | |
|---|---|
| Draft report Feb 2007 - pdf | 2007-02-22 |
| Draft report Feb 2007 - latex | 2007-02-22 |
| draft slides for Dagstuhl | 2006-07-07 |
| DC theory slides | 2006-05-02 |
| Linking the Verification of Compilable Code to the Application Content of Computer Based Systems | 2006-03-30 |
| Folder | |
| Theory | 2005-12-06 |
| naumann | 2005-12-05 |
| Wiki Page | |
| Compiler Verification | 2006-07-07 |
| Imperative Program Logics | 2006-04-24 |
| JBook Milestone | 2006-04-24 |
| Secure Flow Checking | 2006-04-21 |
| Type Systems | 2006-04-20 |