University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2881–2910 of 6,485 items
Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata
Sufficient Completeness Checking with Propositional Tree Automata
Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for The Summary of Engineering Research 2004
The Summary of Engineering Research 2004
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Cascade: A universal programmer-assisted type qualifier inference tool
Cascade: A universal programmer-assisted type qualifier inference tool
Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.

Thumbnail for Understanding definitions
Understanding definitions
Scott, Judith A.; Nagy, William E.