Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino 0001. A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test., Verif. Reliab., 29(4-5), 2019. [doi]
Abstract is missing.