The following pages link to (Q4472186):
Displayed 5 items.
- A unification of probabilistic choice within a design-based model of reversible computation (Q1941891) (← links)
- Spot the difference: a detailed comparison between B and Event-B (Q2117587) (← links)
- Empowering the Event-B method using external theories (Q2165497) (← links)
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (Q3095242) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)