The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

Overview of attention for article published in Journal of Automated Reasoning, June 2015

Altmetric Badge

Mentioned by

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

#Publication - The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it) | This paper … http://t.co/c2oYz7FkCy

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

Click here to find out how to access more activity.