Axe: An Automated Formal Equivalence Checking Tool for Programs
Name | Value |
Creation Date | Thu May 10 13:44:01 2012 |
Creator | Impress |
Encrypted | no |
File size | 397559 bytes |
MIME type | application/pdf |
Optimized | no |
Page size | 793 x 595 pts |
Pages | 45 |
PDF version | 1.4 |
Producer | OpenOffice.org 3.3 |
Size | 388.24 KB |
Tagged | no |