Isabelle: a generic theorem prover, volume 828 (1994)

by L Paulson
Venue:of Lecture Notes in Computer Science