Difference between revisions of "correctness"
Line 1: | Line 1: | ||
* Correctness! Rules! | * Correctness! Rules! | ||
+ | |||
+ | Previous PreSync paper: https://doi.org/10.1145/3332186.3333042 |
Revision as of 16:06, 19 January 2022
- Correctness! Rules!
Previous PreSync paper: https://doi.org/10.1145/3332186.3333042