Moonconf Papers

The Moonconf version of my new talk "Fetching Moths from the Works: Correctness Methods in Software" went by really quickly, 114 slides in thirty minutes. Fast! »