University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2761–2790 of 15,035 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Meta-scraping: Two technological approaches to support meta-analyses
Meta-scraping: Two technological approaches to support meta-analyses
Nimon, Kim; Caragea, Cornelia; Oswald, Frederick L.

Thumbnail for A Compositional Paradigm of Automating Refactorings
A Compositional Paradigm of Automating Refactorings
Vakilian, Mohsen; Chen, Nicholas; Zilouchian Moghaddam, Roshanak; Negara, Stas; Johnson, Ralph E.