The following pages link to Stefan Hallerstede (Q432153):
Displaying 9 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Validation of formal models by refinement animation (Q1951638) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- On the Purpose of Event-B Proof Obligations (Q3535369) (← links)
- Qualitative Probabilistic Modelling in Event-B (Q3608889) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- (Q4436962) (← links)
- (Q5294155) (← links)
