"A Constraint Database-Based Program Verifier" by Scot Anderson and Peter Z. Revesz

Menu

Skip to main content

Achieve

Document Type

Publication - Article

A Constraint Database-Based Program Verifier

Scot Anderson, Southern Adventist UniversityFollow
Peter Z. ReveszFollow

Department

Computing

Date of Activity

2-20-2008

Recommended Citation

Scot Anderson, Peter Z. Revesz. A Constraint Database-Based Program Verifier. SARA 2007: 35-49.

This document is currently not available here.

COinS