Formal models of ARM processors in HOL
Name | Value |
|---|---|
| Author | Mike Gordon |
| Creation Date | Wed May 5 09:32:47 2010 |
| Creator | LaTeX with beamer class version 3.07 |
| Encrypted | no |
| File size | 299253 bytes |
| MIME type | application/pdf |
| Modify Date | Wed May 5 09:32:47 2010 |
| Optimized | no |
| Page size | 362.83 x 272.13 pts |
| Pages | 37 |
| PDF version | 1.4 |
| Producer | dvips + GPL Ghostscript 8.64 |
| Size | 292.24 KB |
| Tagged | no |