Sam Yu;A. Daniel Kowalski
-;-
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning