University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6961–6990 of 53,651 items
Thumbnail for Proving Safety Properties of Rewrite Theories
Proving Safety Properties of Rewrite Theories
Rocha, Camilo; Meseguer, José

Thumbnail for USEE 2001: Utility Software for Earthquake Engineering Report and User's Manual
USEE 2001: Utility Software for Earthquake Engineering Report and User's Manual
Inel, Mehmet; Mretz, Erich M.; Black, Edgar F.; Aschheim, Mark; Abrams, Daniel P.