University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1531–1560 of 3,950 items
Thumbnail for EpiPen, Patents, and Life and Death
EpiPen, Patents, and Life and Death
Sherkow, Jacob S.; Zettler, Patricia J.

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Type and variability in corn
Type and variability in corn
Davenport, Eugene; Rietz, Henry Lewis

Thumbnail for access: v.22, no.03, Fall 2009
access: v.22, no.03, Fall 2009
National Center for Supercomputing Applications (NCSA)

Thumbnail for CUTE: A Concolic Unit Testing Engine for C
CUTE: A Concolic Unit Testing Engine for C
Sen, Koushik; Marinov, Darko; Agha, Gul A.