University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 451–480 of 1,498 items
Thumbnail for The Learned Doctor Ames
The Learned Doctor Ames
Sprunger, Keith Laverne

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore