Document Type

Publication - Article

A Constraint Database-Based Program Verifier

Authors

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.