University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9931–9960 of 25,814 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 Front Matter
Front Matter
Submitter: Howard Ding

Thumbnail for Biomarker Magazine Winter 2019, vol. 13
Biomarker Magazine Winter 2019, vol. 13
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department