Stijn de Gouw, Frank S. de Boer, Jurriaan Rot. Verification of Counting Sort and Radix Sort. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, editors, Deductive Software Verification - The KeY Book - From Theory to Practice. Volume 10001 of Lecture Notes in Computer Science, pages 609-618, Springer, 2016. [doi]
@incollection{GouwBR16,
title = {Verification of Counting Sort and Radix Sort},
author = {Stijn de Gouw and Frank S. de Boer and Jurriaan Rot},
year = {2016},
doi = {10.1007/978-3-319-49812-6_19},
url = {http://dx.doi.org/10.1007/978-3-319-49812-6_19},
researchr = {https://researchr.org/publication/GouwBR16},
cites = {0},
citedby = {0},
pages = {609-618},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner Hähnle and Peter H. Schmitt and Mattias Ulbrich},
volume = {10001},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-49811-9},
}