Theorem Proving in Higher Order Logics

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 tweet from an account with 1,982 followers.

Coq and hardware verification: A case study https://t.co/UJfAPzE8g7 まぁありますよね

This page shows the most recent tweets that mention this research output.

Click here to find out how to access more activity.