Undertaking the tokeneer challenge in event-b - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Víctor Rivera, Sukriti Bhattacharya, Néstor Cataño. Undertaking the tokeneer challenge in event-b. In Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016. pages 8-14, ACM, 2016. [doi]

This author has not been identified. Look up 'Víctor Rivera' in GoogleThis author has not been identified. Look up 'Sukriti Bhattacharya' in GoogleThis author has not been identified. Look up 'Néstor Cataño' in Google

runs on WebDSL