Concepedia

Author

Carmen Pardavila

University of Liverpool

Also Known As

Carmen Pardavila

4

Publications

229

Citations

3

H-Index

10

Concepts

All Affiliations

University of Liverpool
CP

About

Carmen Pardavila is an author at University of Liverpool specializing in formal specification, mechanism design, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

178

2

Computer Engineering

2

2

178

3

Computer Science

2

2

178

4

Systems Engineering

2

2

178

5

Automated Reasoning

2

2

178

Carmen Pardavila

×

2

Publications

178

Citations

2

H-Index

YearCitations

Page 1