University of Illinois Urbana-Champaign

Making Formal Verification Trustworthy via Proof Generation

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

Loading…

Permalink

Description

Owning Collections