2
Publications
29
Citations
2
H-Index
2011
Active since
Affiliations
Artem Davydov is an author at Institute for System Dynamics and Control Theory specializing in automated reasoning, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2011–2013
2
2