Jim Woodcock
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 | |
|---|---|
| IEEE Computer paper on Verified Software: A Grand Challenge | 2006-04-03 |
| repository slides | 2006-04-02 |
| Folder | |
| woodcock | 2005-12-09 |
| Wiki Page | |
| Specification languages | 2006-04-24 |
| Unifying Theories of Programming | 2006-03-30 |