↓ Skip to main content

Theorem Proving in Higher Order Logics

Overview of attention for book
Attention for Chapter: Object-oriented verification based on record subtyping in Higher-Order Logic
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
13 Mendeley