Lawrence C. Paulson
4 books • 3 series
Cambridge Tracts in Theoretical Computer Science
Lecture Notes in Chemistry
Book #828: Isabelle
Lecture Notes in Computer Science
Book #828: Isabelle
Book #2283: Isabelle/Hol