University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 216 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Verification of Casper in the Coq Proof Assistant
Verification of Casper in the Coq Proof Assistant
Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for The Proem in Pirandello's Short Stories
The Proem in Pirandello's Short Stories
Canale-Parola, Thelma Springer

Thumbnail for Study of Atmospheric Pollution Scavenging: Twenty-third Progress Report
Study of Atmospheric Pollution Scavenging: Twenty-third Progress Report
Semonin, Richard G.; Bowersox, Van C.; Stensland, Gary J.; Peden, Mark E.; Su, Jack; Williams, Allen L.