University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 361–390 of 1,324 items
Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Faculty publications and doctoral dissertations. 1963-1967
Faculty publications and doctoral dissertations. 1963-1967
University of Illinois at Urbana-Champaign

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 Annual register. 1917-18
Annual register. 1917-18
University of Illinois at Urbana-Champaign

Thumbnail for Faculty and student directory. 1917/1918 - 1919/1920
Faculty and student directory. 1917/1918 - 1919/1920
University of Illinois at Urbana-Champaign