Proof Pearl: The KeY to Correct and Stable Sorting.

Stijn de Gouw Frank S. de Boer Jurriaan Rot

Published in: J. Autom. Reason. (2014)

Keyphrases

multimedia
information technology
machine learning
search engine
data structure
artificial neural networks
belief change