"Undertaking the tokeneer challenge in event-b."

Victor Rivera, Sukriti Bhattacharya, Néstor Cataño (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics