University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 181–210 of 1,693 items
Thumbnail for Folding Variant Narrowing and Optimal Variant Termination
Folding Variant Narrowing and Optimal Variant Termination
Escobar, Santiago; Sasse, Ralf; Meseguer, José