University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 1,843 items
Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

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 Micromachined inductors and capacitors.
Micromachined inductors and capacitors.
Zou, Jun; Chen, Jack; Liu, Chang

Thumbnail for Research in computer science.
Research in computer science.
Submitter: Howard Ding