1
Publications
48
Citations
1
H-Index
2006
Active since
Affiliations
University of Castilla-La Mancha(Current)
Juan-José Pardo is an author at University of Castilla-La Mancha specializing in software verification, software analysis, and systems engineering.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsSystem SoftwareComputer ScienceReal-time SystemsSoftware AnalysisDistributed SystemsFormal Verification
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1