DMCA

Equality-Based translation validator for LLVM (2011)

by Ross Tate , Sorin Lerner
Venue:In CAV ’11: Proceedings of the 23rd International Conference on Computer Aided Verification
Citations:11 - 1 self