Guided specification and analysis of a loyalty card system

Laurent Cuennet, Marc Pouly*, Saša Radomirović

*Corresponding author for this work

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.

Earth and Planetary Sciences

Computer Science

Economics, Econometrics and Finance

Engineering

Biochemistry, Genetics and Molecular Biology