Paulson, Lawrence C.
University of Cambridge - Interactive theorem proving and its applications.

No queries for www.cl.cam.ac.uk/~lp15