The following pages link to M. Poppleton (Q997236):
Displaying 8 items.
- Engineering and theoretical underpinnings of retrenchment (Q997238) (← links)
- Sharp retrenchment, modulated refinement and simulation (Q1977124) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)
- The Composition of Event-B Models (Q3535377) (← links)
- (Q4472175) (← links)
- (Q4494260) (← links)
- (Q5294156) (← links)
- FM 2005: Formal Methods (Q5716891) (← links)
