Brauße Franz

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Franz Brauße

E-mail

franz.brausse@manchester.ac.uk

Organization:

Computer Science School The University of Manchester — researcher

Academic degree: PhD

List of Articles:

Brauße F. Korovin K. Korovina M. Müller N. Notes on implementing the ksmt-solver // Computer Science. — 2019 . — # 43. — P. 15-19