![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Andrew Storey 3 Andrew Storey, Marc-David Cohen : Exploiting response models: optimizing cross-sell and up-sell opportunities in banking. KDD 2002 : 325-331 2 Andrew Storey, Howard P. Haughton : A Strategy for the Production of Verifiable Code Using the B Method. FME 1994 : 346-365 1 Andrew Storey: A Specification Case Study Using the B-Methodology. Software Testing, Verification & Reliability 2 (4): 187-202 (1992) ![]() DiSC'03 © 2003 Association for Computing Machinery |