Productivity for proof engineering.

Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski

Browse the full ESEM paper archive.