Login / Signup
Quicksort Revisited - Verifying Alternative Versions of Quicksort.
Razvan Certezeanu
Sophia Drossopoulou
Benjamin Egelund-Müller
K. Rustan M. Leino
Sinduran Sivarajan
Mark J. Wheelhouse
Published in:
Theory and Practice of Formal Methods (2016)
Keyphrases
</>
domain knowledge
databases
neural network
decision making
data sets
knowledge base
three dimensional
multiscale
cooperative
experimental evaluation