Report copyright - Modelling ATM Case-study - Welcome to ePrints Soton ... 6 Modelling ATM Case-study 6.1 Introduction In this chapter, we present another case-study modelled in Event-B to further investi-gate
Please pass captcha verification before submit form