Proof engineering: implementation challenges in rigorously verified software.

Adam Chlipala

Browse the full POPL paper archive.