Franz Brauße E-mail franz.brausse@manchester.ac.uk Organization Computer Science School The University of Manchester — 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