Presentation

file

Visible to the public Rule-Based Static Analysis of Network Protocol

Submitted by TimTh on Tue, 08/16/2011 - 9:12pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public From Dirt to Shovels

Submitted by kathleen.fisher on Tue, 08/16/2011 - 9:10pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public COTS Strategy

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

Presented as part of the 2008 HCSS conference.

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.

file

Visible to the public Cost-Effective Safety Certification of Software-Intensive Systems

Submitted by pjoannou on Thu, 08/11/2011 - 2:24pm. Contributor: