University of Illinois at Urbana-Champaign

From Hoare Logic to Matching Logic Reachability

Rosu, Grigore; Stefanescu, Andrei

Loading…

Permalink

Description

Owning Collections