Automation for interactive proof: First prototype

by Jia Meng , Claire Quigley , Lawrence C. Paulson
Venue:Information and Computation
Citations:29 - 10 self