University of Illinois Urbana-Champaign

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections