University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8761–8790 of 20,915 items
Thumbnail for Automated Testing of Refactoring Engines
Automated Testing of Refactoring Engines
Daniel, Brett; Dig, Danny; Garcia, Kely; Marinov, Darko

Thumbnail for IFSI Newsletter- Spring 2011
IFSI Newsletter- Spring 2011
Illinois Fire Service Institute

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for La Moine River area assessment
La Moine River area assessment
Submitter: Steven Mccauley