University of Illinois at Urbana-Champaign

Reachability Logic in K

Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections