Hsiao-Ming Hsu;Jih-Kwon Peir;Dale B. Haidvogel
-;-;-
On Automation in the Verification of Software Barriers: Experience Report
Journal of Automated Reasoning