University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1681–1710 of 2,717 items
Thumbnail for Coinductive program verification
Coinductive program verification
Moore, Brandon Michael

Thumbnail for Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Mehnert, Edward; Damico, James R.; Grigsby, Nathan P.; Monson, Charles C.; Patterson, Christopher G.; Yang, Fang