Jump to Navigation

Ana Rosario Espada

Ana Rosario Espada's picture
First Name: 
Ana Rosario
Last Name: 
Espada
Role: 
External Colaborators
Research interests: 
Model checking, software reliability and runtime verification in mobile applications
e-mail: 
anarosario@lcc.uma.es


Main menu 2

by Dr. Radut