Statistics
Publications
2
Citations
180
H-Index
2
Active since
2003
Affiliations
University of Liverpool(Current)
Carmen Pardavila is an author at University of Liverpool specializing in linear temporal logic, specification languages, and programming languages.
Publications per year
2003–2003
2
2