The following pages link to (Q5294155):
Displaying 6 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Developing topology discovery in Event-B (Q1044181) (← links)
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)
