Retrenchment and the Mondex Electronic Purse

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney. Retrenchment and the Mondex Electronic Purse. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. pages 41-48, 2005. [doi]

Authors

Richard Banach

This author has not been identified. Look up 'Richard Banach' in Google

Michael Poppleton

This author has not been identified. Look up 'Michael Poppleton' in Google

Czeslaw Jeske

This author has not been identified. Look up 'Czeslaw Jeske' in Google

Susan Stepney

This author has not been identified. Look up 'Susan Stepney' in Google