Formal proof—Theory and practice (2008)

by J Harrison
Venue:Notices of the American Mathematical Society