Boston University

file

Applying Language-Based Static Verification in an ARM Operating System

Submitted by TimTh on Tue, 05/14/2013 - 1:41pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Submitted by marija ilic on Tue, 11/13/2012 - 12:27pm. Contributors:

file

Submitted by TimTh on Fri, 05/11/2012 - 7:32am. Contributors:

Abstract:

file

Submitted by TimTh on Tue, 05/01/2012 - 5:15pm. Contributor:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Submitted by Venkatesh Saligrama on Wed, 08/10/2011 - 9:26am. Contributor:

file

Submitted by admin on Mon, 08/01/2011 - 9:55am. Contributors: