4
Publications
56
Citations
4
H-Index
2011
Active since
Affiliations
Corina Bocăneala is an author at Alexandru Ioan Cuza University specializing in formal methods, systems engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringSoftware EngineeringComplexitySoftware Design
Publications per year
2011–2020
4
4
Rows per page
1–4 of 4