1. A formal approach to automatically analyse extra‐functional properties in mobile applications. (14th June 2019) Authors: Rosario Espada, Ana; del Mar Gallardo, Maria; Salmerón, Alberto; Panizo, Laura; Merino, Pedro Journal: Software testing, verification & reliability Issue: Volume 29:Number 4/5(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗