Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.

Tahina Ramananandro Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. 21-39 2008 20 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-007-0058-z db/journals/fac/fac20.html#Ramananandro08