Verified Software: The Next Steps
Name | Value |
|---|---|
| Creation Date | Wed Apr 12 12:40:40 2006 |
| Creator | dvips(k) 5.92a Copyright 2002 Radical Eye Software |
| Encrypted | no |
| File size | 150699 bytes |
| MIME type | application/pdf |
| Modify Date | Wed Apr 12 12:40:40 2006 |
| Optimized | no |
| Page size | 612 x 792 pts (letter) |
| Pages | 62 |
| PDF version | 1.2 |
| Producer | AFPL Ghostscript 8.14 |
| Size | 147.17 KB |
| Tagged | no |
| Title | root.dvi |