A Correctness and Incorrectness Program Logic

Overview of attention for article published in Journal of the ACM, March 2023

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 7 X posts from 6 X users, with an upper bound of 9,098 followers.

@alexandra8silva @NZComplete @AmazonScience Cool!!! We had LICS21 paper, now appeared in JACM on this problem (Volume 70 Issue 2 Article No.: 15 pp 1–45). We would be happy to collaborate if interested! Ciao! https://t.co/ToUW1Au5p1

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

Click here to find out how to access more activity, including 3 additional X posts.