There is no fulltext present in this item.

Find Full text  
Title: Verification of Counting Sort and Radix Sort
Author(s): Gouw, S de; Boer, F.S. de; Rot, J.C.
Publication year: 2016
In: Lecture Notes in Computer Science, (2016)Ahrendt, W. (ed.), Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 609-618
Publisher: Cham : Springer
ISBN: 9783319498119
ISSN: 0302-9743
DOI: https://doi.org/10.1007/978-3-319-49812-6_19
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/163150   http://hdl.handle.net/2066/163150

Display more details
Editor(s): Ahrendt, W.
Subject: Software Science
Organization: Software Science
Journal title:
Lecture Notes in Computer Science
Book title: Ahrendt, W. (ed.), Deductive Software Verification - The KeY Book - From Theory to Practice
Page start: p. 609
Page end: p. 618

This item appears in the following Collection(s)

Browse

Statistics