Statistics
Publications
1
Citations
27
H-Index
1
Active since
2002
Affiliations
Universidad de Murcia(Current)
Ambrosio Toval Álvarez is an author at Universidad de Murcia specializing in model verification, statechart modeling, and formal revision.
Publications per year
2002–2002
1
1
1–1 of 1