A. E. Borodin

According to our database, A. E. Borodin authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of seven.

2021

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection.

A. E. Borodin, I. A. Dudina

Program. Comput. Softw., 2021

Interprocedural Static Analysis for Finding Bugs in Go Programs.

I. V. Bolotnikov, A. E. Borodin

Program. Comput. Softw., 2021