Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is B and Author is Konstantin Britikov  [Clear All Filters]
Conference Paper
The Golem Horn Solver, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Computer Aided Verification, (2023)