Guided Specification and Analysis of a Loyalty Card System

Laurent Cuennet, Marc Pouly (Lead / Corresponding author), Saša Radomirović

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Guided Specification and Analysis of a Loyalty Card System'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science