University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2821–2850 of 8,363 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