From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification.

Adam Chlipala

Browse the full POPL paper archive.