Tobias Nipkow

Functional Data Structures and

Functional Data Structures and Algorithms

2025

Concrete Semantics

Concrete Semantics

2016

FM 2006

2006

FM 2006 : Formal Methods

FM 2006 : Formal Methods

2006

Isabelle/HOL

2002