home
>
book reviews
> Richard Banach
Google >
Richard Banach
author : Richard Banach
Short works
Retrenchment, Refinement and Simulation. 2000.
(In
ZB 2000
)
Controlling Control Systems: An Application of Evolving Retrenchment. 2002.
(In
ZB 2002
)
Retrenchment and the B-toolkit. 2005.
(In
ZB 2005
)