Jump to Navigation

Main profile

Role: 
External Colaborators
e-mail: 
anarosario@lcc.uma.es
Summary: 

Software reliability, model checking and Runtime Verification in mobile applications



Main menu 2

by Dr. Radut