Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification.

Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin

Browse the full FMICS paper archive.