Show simple item record

dc.contributor.authorBritton, Dianne Ellen, 1950-
dc.creatorBritton, Dianne Ellen, 1950-en_US
dc.date.accessioned2013-08-15T10:00:56Z
dc.date.available2013-08-15T10:00:56Z
dc.date.issued1977en_US
dc.identifier.urihttp://hdl.handle.net/10150/298615
dc.language.isoen_USen_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.subjectComputer programming.en_US
dc.subjectComputer programs -- Testing.en_US
dc.subjectDebugging in computer science.en_US
dc.titleINCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATIONen_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.identifier.oclc3941318en_US
thesis.degree.grantorUniversity of Arizonaen_US
thesis.degree.leveldoctoralen_US
dc.identifier.proquest7804894en_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineComputer Scienceen_US
thesis.degree.namePh.D.en_US
dc.identifier.bibrecord.b18137040en_US
refterms.dateFOA2018-06-15T02:12:19Z


Files in this item

Thumbnail
Name:
azu_td_7804894_sip1_m.pdf
Size:
5.060Mb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record