A Vindication of Program Verification

TitleA Vindication of Program Verification
Publication TypeJournal Article
Year of Publication2015
AuthorsBringsjord, S
JournalHistory and Philosophy of Logic
Pagination1-16
URLhttp://dx.doi.org/10.1080/01445340.2015.1065461
DOI10.1080/01445340.2015.1065461