2002 | ||
---|---|---|
3 | EE | Andrew Storey, Marc-David Cohen: Exploiting response models: optimizing cross-sell and up-sell opportunities in banking. KDD 2002: 325-331 |
1994 | ||
2 | Andrew Storey, Howard P. Haughton: A Strategy for the Production of Verifiable Code Using the B Method. FME 1994: 346-365 | |
1992 | ||
1 | Andrew Storey: A Specification Case Study Using the B-Methodology. Softw. Test., Verif. Reliab. 2(4): 187-202 (1992) |
1 | Marc-David Cohen | [3] |
2 | Howard P. Haughton | [2] |