Formally Verified Encryption of High-Level Datatypes: An Application of Polytypism
Name | Value |
|---|
| Creator | LaTeX with hyperref package |
| Encrypted | no |
| File size | 128730 bytes |
| MIME type | application/pdf |
| Optimized | no |
| Page size | 595 x 792 pts |
| Pages | 54 |
| PDF version | 1.2 |
| Producer | dvips + GNU Ghostscript 7.05 |
| Size | 125.71 KB |
| Tagged | no |
