proofs

file

Verifying programs with complex data structures using Coq

Submitted by akarns on Fri, 01/29/2016 - 11:50am. Contributor:

Abstract:

file

Submitted by drsmith17 on Thu, 04/23/2015 - 5:36pm. Contributor:

Presented as part of the 2015 HCSS conference.

Abstract:

file

Submitted by brad_martin on Tue, 04/22/2014 - 10:38am. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Submitted by scherlis on Fri, 11/01/2013 - 11:05am. Contributor:

file

Submitted by TimTh on Mon, 05/13/2013 - 2:46pm. Contributor:

Presented as part of the 2013 HCSS conference.

ABSTRACT