University of Illinois Urbana-Champaign

KBoogie: A Formal Semantics for Boogie

Rodrigues, Nishant; Poulsen, Seth; Rosu, Grigore

Content Files
rodrigues-poulsen-rosu-2021-pldi-submission.pdf
Loading…

Permalink

Description

Owning Collections