Correctness-by-Construction in Stringology

dc.contributor.authorWatson B
dc.date.accessioned2013-07-03T08:34:43Z
dc.date.available2013-07-03T08:34:43Z
dc.date.issued2012
dc.descriptionLettere En Wysbegeerte
dc.descriptionSentrum vir Kennisdinamika & Besluitneming
dc.descriptionPlease help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
dc.identifier.urihttp://hdl.handle.net/10019.1/84538
dc.publisherPrague Stringology Club
dc.titleCorrectness-by-Construction in Stringology
dc.typeProceedings International
Files