University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 793 items
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

Thumbnail for Architectural Yearbook 14 (1927)
Architectural Yearbook 14 (1927)
Submitter: William Ingram

Thumbnail for News from the Field
News from the Field
Submitter: Howard Ding