University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 216 items
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 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 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.