Verifying Android Applications using Java PathFinder

van der Merwe H ; Van der Merwe AB ; Visser W (2012)

Natuurwetenskappe

Rekenaarwetenskap

Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za

Proceedings International

Please refer to this item in SUNScholar by using the following persistent URL: http://hdl.handle.net/10019.1/84784
This item appears in the following collections: