1
Publications
37
Citations
1
H-Index
2000
Active since
PARASKEVI KAPETI is an author specializing in system software, computer engineering, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareSoftware AnalysisFormal VerificationComputer EngineeringFormal SpecificationComputer Architecture
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1