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]
Abstract is missing.