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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.