Muhammad S. Benten;Harry F. Jordan
-;-
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning