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