Author:
Derrick John,Boiten Eerke A.
Reference19 articles.
1. Abrial, J.-R. (2010). Modelling in Event-B. Cambridge: Cambridge University Press.
2. Banach, R., Jeske, C., Poppleton, M., & Stepney, S. (2007). Retrenching the purse: the balance enquiry quandary, and generalised and (1, 1) forward refinements. Fundamenta Informaticae, 77(1–2), 29–69.
3. Banach, R., & Poppleton, M. (2000) Retrenchment, refinement and simulation. In Bowen et al. [10] (pp. 304–323).
4. Banach, R., Poppleton, M., Jeske, C., & Stepney, S. (2005) Retrenching the purse: Finite sequence numbers, and the tower pattern. In Fitzgerald et al. [12] (pp. 382–398).
5. Banach, R., Poppleton, M., Jeske, C., & Stepney, S. (2006). Retrenching the purse: hashing injective CLEAR codes, and security properties. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA, Cyprus (pp. 82–90). New York: IEEE Press.