new entry Relational-Incorrectness-Logic
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP7b6e642f98f1: New entry WOOT_Strong_Eventual_Consistency
- Branches
- Unknown
- Tags
new entry Relational-Incorrectness-Logic Tags None Subscribers None
Description
Details
|