Peter Lammich: Efficient Verified Implementation of Introsort and Pdqsort (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Author: Peter Lammich

Aired: 2020-02-04 13:00:00 CEST (UTC+2)