Melissa Kova is an author at Concordia University specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1