Implementation and Application of Automata

Overview of attention for book

Springer International Publishing

Attention for Chapter: Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 36 followers.

Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs https://t.co/6RDJ7NtRVn

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

Click here to find out how to access more activity.