For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM.

Maximilian P. L. Haslbeck, Peter Lammich

Browse the full ESOP paper archive.