University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9091–9120 of 16,302 items
Thumbnail for From Hoare Logic to Matching Logic Reachability
From Hoare Logic to Matching Logic Reachability
Rosu, Grigore; Stefanescu, Andrei