1
Publications
24
Citations
1
H-Index
2015
Active since
Affiliations
Technical University of Darmstadt(Current)
Edlira Kuci is an author at Technical University of Darmstadt specializing in formal verification, program analysis, and engineering.
Top concepts
EngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1