The Seventeen Provers of the World

Overview of attention for book

Cover of 'The Seventeen Provers of the World'

Table of Contents

Attention for Chapter 10: ACL2

Altmetric Badge

Citations

dimensions_citation: 47 Dimensions

Readers on

mendeley: 6 Mendeley

Summary Dimensions citations

So far, Dimensions has found 47 publications that cite this research output.

47

The most recent citing publications are shown below. View all 47 publications that cite this research output on Dimensions.

Formal Verification of Quantum Programs: Theory, Tools, and Challenges

Article in ACM Transactions on Quantum Computing (December 2023)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Book chapter (October 2022)

On Induction Principles for Partial Orders

Article in Logica Universalis (February 2022)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.