Andrew Storey

According to our database, Andrew Storey authored at least 4 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Exploiting response models: optimizing cross-sell and up-sell opportunities in banking.

Andrew Storey, Marc-David Cohen

Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2002

1995

From B to SPARK: an extension to a forma design environment.

Andrew Storey

PhD thesis, 1995

1994

A Strategy for the Production of Verifiable Code Using the B Method.

Andrew Storey, Howard P. Haughton

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992

A Specification Case Study Using the B-Methodology.

Andrew Storey

Softw. Test. Verification Reliab., 1992