Verifying Android Applications using Java PathFinder

dc.contributor.authorvan der Merwe H
dc.contributor.authorVan der Merwe AB
dc.contributor.authorVisser W
dc.date.accessioned2013-07-03T08:34:53Z
dc.date.available2013-07-03T08:34:53Z
dc.date.issued2012
dc.descriptionNatuurwetenskappe
dc.descriptionRekenaarwetenskap
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.citation37
dc.identifier.urihttp://hdl.handle.net/10019.1/84784
dc.titleVerifying Android Applications using Java PathFinder
dc.typeProceedings International
Files