Quicksort Revisited release_mvuulyl3dzfsnnbxavebyfafhu

by Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Muller, K. Rustan M. Leino, Sinduran Sivarajan, Mark Wheelhouse

Published in Lecture Notes in Computer Science by Springer International Publishing.

2016   p407-426

Archived Files and Locations

application/pdf  388.3 kB
spiral.imperial.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2016
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: bd55e9a2-3693-4095-9801-35cc5994dc23