Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 393-412, Springer, 2007. [doi]

This author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Kazuhiro Ogata' in GoogleThis author has not been identified. Look up 'Kokichi Futatsugi' in Google

runs on WebDSL