Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh. Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona , Spain, June 20, 2017. ACM, 2017. [doi]

This author has not been identified. Look up 'Irina Mariuca Asavoae' in GoogleThis author has not been identified. Look up 'Hoang Nga Nguyen' in GoogleThis author has not been identified. Look up 'Markus Roggenbach' in GoogleThis author has not been identified. Look up 'Siraj Ahmed Shaikh' in Google

runs on WebDSL