Statistics
Publications
1
Citations
26
H-Index
1
Active since
2003
Affiliations
Universidad Carlos III de Madrid(Current)
Víctor Quintana is an author at Universidad Carlos III de Madrid specializing in model checking, model verification, and formal methods.
Publications per year
2003–2003
1
1
José M. Fuentes, Víctor Quintana, Juan Lloréns et al. · ACM SIGSOFT Software Engineering Notes · 2003 · 26 citations
1–1 of 1