Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-1 of 1
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
13-Mar-2016Quicksort Revisited: Verifying Alternative Versions of QuicksortCertezeanu, R; Drossopoulou, S; Egelund-Muller, B; Leino, KRM; Sivarajan, S, et al