15
Publications
671
Citations
14
H-Index
2011
Active since
Affiliations
Maria Christakis is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and software engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingFormal MethodsFormal VerificationVerificationSoftware Design
Publications per year
2011–2022
15
15
Rows per page
1–5 of 15