Axe: An Automated Formal Equivalence Checking Tool for Programs

Namesort iconValue
Creation DateThu May 10 13:44:01 2012
CreatorImpress
Encryptedno
File size397559 bytes
MIME typeapplication/pdf
Optimizedno
Page size793 x 595 pts
Pages45
PDF version1.4
ProducerOpenOffice.org 3.3
Size388.24 KB
Taggedno