Gregory A. Darmohray;Eugene D. Brooks, III
-;-
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning