Undertaking the tokeneer challenge in event-b.

Victor Rivera, Sukriti Bhattacharya, Nstor Catao

Browse the full ICSE paper archive.