Proofs that count.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Browse the full POPL paper archive.