University of Illinois Urbana-Champaign

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

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 1998-00
Transactions of the Board of Trustees [electronic resource] / 1998-00
University of Illinois (System). Board of Trustees