Disappearing Formal Methods
Name | Value |
|---|---|
| Creation Date | Sun Apr 24 16:05:02 2011 |
| Creator | dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software |
| Encrypted | no |
| File size | 192371 bytes |
| MIME type | application/pdf |
| Modify Date | Sun Apr 24 16:05:17 2011 |
| Optimized | yes |
| Page size | 612 x 792 pts (letter) |
| Pages | 38 |
| PDF version | 1.5 |
| Producer | Acrobat Distiller 10.0.0 (Windows) |
| Size | 187.86 KB |
| Tagged | no |
| Title | nsa01.dvi |