Document Type

Publication - Article

Verifying the Incorrectness of Programs and Automata

Authors

Scot Anderson, Southern Adventist UniversityFollow
Peter Z. ReveszFollow

Department

Computing

Date of Activity

2-20-2008

Recommended Citation

Scot Anderson, Peter Z. Revesz. Verifying the Incorrectness of Programs and Automata. SARA 2005: 1-13.