×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [testablec semantics]
From Hoare Logic to Matching Logic Reachability Grigore Rosu and Andrei Stefanescu University of Illinois, USA
217 views
Checking Reachability using Matching Logic
36 views
From Hoare Logic to Matching Logic Reachability
104 views
Towards a Unified Theory of Operational and Axiomatic Semantics
54 views