Envision IT Seminar Presentation - Microsoft Office 365
From Hoare Logic to Matching Logic Reachability Grigore Rosu and Andrei Stefanescu University of Illinois, USA.
Checking Reachability using Matching Logic
From Hoare Logic to Matching Logic Reachability