University of Illinois Urbana-Champaign

Hyperproperties in Matching Logic

Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections