Verified Path Indexing.

Mohamed Chaabani, Simon Robillard

Browse the full CADE paper archive.