A formal approach to automatic analysis of extra-functional properties in mobile apps

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ana-Rosario Espada Maria-del-Mar Gallardo Alberto Salmerón Pedro

Journal title: XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD)

Journal number: 15-17 June 2016

Journal publisher: XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD)

Published year: 2016