Guided Specification and Analysis of a Loyalty Card System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laurent Cuennet, Marc Pouly, Sasa Radomirovic. Guided Specification and Analysis of a Loyalty Card System. In Sjouke Mauw, Barbara Kordy, Sushil Jajodia, editors, Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Volume 9390 of Lecture Notes in Computer Science, pages 66-81, Springer, 2015. [doi]

This author has not been identified. Look up 'Laurent Cuennet' in GoogleThis author has not been identified. Look up 'Marc Pouly' in GoogleThis author has not been identified. Look up 'Sasa Radomirovic' in Google

runs on WebDSL