Konstantin Korovin E-mail konstantin.korovin@manchester.ac.uk Organization Computer Science School The University of Manchester — senior researcher Academic degree PhD
Brauße F., Korovin K., Korovina M., Müller N. Notes on implementing the ksmt-solver // Computer Science. — 2019. — # 43 — P. 15-19