Login / Signup
Alberto Salmerón
ORCID
Publication Activity (10 Years)
Years Active: 2007-2019
Publications (10 Years): 8
Top Topics
Mobile Apps
Quality Evaluation
Temporal Properties
Model Checking
Top Venues
SPIN
IM
Mob. Inf. Syst.
Softw. Test. Verification Reliab.
</>
Publications
</>