University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1081–1110 of 4,297 items
Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Object Modelling by Example
Object Modelling by Example
Zelinka, Stephen David

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