Forgot your password?
New user?
Gary T. Leavens
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 | |
|---|---|
| roadmap.pdf | 2006-07-21 |
| tr-cover.tex | 2006-07-21 |
| roadmap.tex | 2006-07-21 |
| roadmap.ppt | 2006-07-21 |
| Specified Blocks | 2006-03-05 |
| Folder | |
| VerifiedByConstruction | 2006-07-21 |
| supplementary-materials | 2006-04-03 |
| pg | 2005-11-30 |
| cxc | 2005-11-30 |
| leavens | 2005-11-28 |
| Link | |
| link to the TR | 2006-07-21 |
| biblio.bib | 2006-03-19 |
