↓ Skip to main content

Concrete Semantics : With Isabelle/HOL

Overview of attention for book
Attention for Chapter 5: Isar: a Language for Structured Proofs
Altmetric Badge

Citations

dimensions_citation
163 Dimensions

Readers on

mendeley
1 Mendeley