Author:
Beckert Bernhard,Schiffl Jonas,Schmitt Peter H.,Ulbrich Mattias
Publisher
Springer International Publishing
Reference21 articles.
1. Proving JDK’s dual pivot quicksort correct. Blog post, companion website. https://www.key-project.org/2017/08/17/dual-pivot/
2. Abano, C., Chu, G., Eiseman, G., Fu, J., Yu, T.: Lab report, Rutgers University
3. LNCS,2016
4. Lecture Notes in Computer Science;B Beckert,2016
5. Black, P.E., Becker, G., Murray, N.V.: Formal verification of a merge sort program with static semantics. ACM SIGPLAN Not. 30(4), 51–60 (1995)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献