Margarita V. Korovina E-mail Rita@inet.ssc.nsu.ru korovina@daimi.au.dk rita@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — 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
Korovina M. Fixed points on abstra t stru tures without the equality test // Computer Science. — 2002. — # 18 — P. 103-114
Korovina M., Kudinov O. Background for formalisation of complex systems // Computer Science. — 2000. — # 13 — P. 40-55
