HCSS '08

file

Visible to the public Support for Supertype Abstraction in JML

Submitted by TimTh on Tue, 08/16/2011 - 5:49pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Software Development in Haskell

Submitted by Launchbury on Tue, 08/16/2011 - 5:45pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Automated Synthesis of SAT Solvers

Submitted by TimTh on Tue, 08/16/2011 - 5:37pm. Contributor:

Presented as part of the 2008 HCSS conference.

page

Visible to the public 2008 HCSS Conference Program Agenda

Submitted by Anonymous on Thu, 08/04/2011 - 1:51pm

2008 PROGRAM AGENDA

 

WEDNESDAY, MARCH 5