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]
No references recorded for this publication.
No citations of this publication recorded.