Search

Home
Publications
CV
Contact

Bryan Parno

Latest

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems

Powered by the Academic theme for Hugo.

Cite