Forgot your password?
New user?
Don Batory
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 | |
|---|---|
| thoughts on enhanced languages and methods to aid verification | 2006-04-02 |
| Observations on Grand Challenge from Generative Programming | 2006-01-18 |
| Folder | |
| batory | 2005-12-14 |
