Academia

The document was issued by academy or academy organization.
file

Visible to the public Use of the E Language

Submitted by WarrenAHuntJr on Fri, 07/01/2011 - 9:26am. Contributors:

Presented as part of the 2009 HCSS conference.

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.