University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 481–510 of 5,883 items
Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties
Efficient Formalism-Independent Monitoring of Parametric Properties
Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for iConference 2013 Program
iConference 2013 Program
iConference 2013 Program Committee

Thumbnail for Towards Categorizing and Formalizing the JDK API
Towards Categorizing and Formalizing the JDK API
Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore