Counterexample-Guided Model Synthesis for Quantified Bit-Vectors


Date
Nov 18, 2016 4:49 PM — 4:49 PM
Location
Vienna, Austria
Mathias Preiner
Research Scientist