University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8641–8670 of 14,120 items
Thumbnail for Design of Living Barriers to Reduce the Impacts of Snowdrifts on Illinois Freeways
Design of Living Barriers to Reduce the Impacts of Snowdrifts on Illinois Freeways
Petrie, John; Qi, Yan; Cornwell, Mark; Al Adib Sarker, Md; Biswas, Pranesh; Du, Sen; Shi, Xianming

Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael