Pages that link to "Item:Q539230"

The following pages link to On the purpose of Event-B proof obligations (Q539230):

Displaying 2 items.

• The behavioural semantics of Event-B refinement (Q736910) (← links)
• External and internal choice with event groups in Event-B (Q1941871) (← links)