Similar Items: Build your own clarithmetic II: Soundness
- Build your own clarithmetic I: Setup and completeness
- The Dangers of Building Your Own Python Applications: False-Positives, Unknown Publishers, and Code Licensing
- Building Expertise on FAIR Through Evolving Bring Your Own Data (BYOD) Workshops: Describing the Data, Software, and Management-focused Approaches and Their Evolution
- Soundness in negotiations
- Proving Soundness of Extensional Normal-Form Bisimilarities
- Sound approximate and asymptotic probabilistic bisimulations for PCTL