University of Cambridge- UK

file

Visible to the public Automatic Reverse Engineering for Formal Verification

Submitted by TimTh on Fri, 07/01/2011 - 8:36am. Contributor:

Presented as part of the 2009 HCSS conference.