Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
There is no fulltext present in this item.
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 :
https://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)
Faculty of Science
[28740]
Academic publications
[185933]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics