L.C. Paulson (1992): Introduction to Isabelle
Title:
Introduction to Isabelle
Author(s):
L.C. Paulson
Year:
1992
Concepts
