↓ Skip to main content

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Overview of attention for article published in Journal of Automated Reasoning, February 2018
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
64 Dimensions

Readers on

mendeley
21 Mendeley