Visual animation of B specifications using executable DSLs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul. Visual animation of B specifications using executable DSLs. In Thomas Kühn 0001, Vasco Sousa, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 617-626, ACM, 2022. [doi]

This author has not been identified. Look up 'Asfand Yar' in GoogleThis author has not been identified. Look up 'Akram Idani' in GoogleThis author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Simon Collart Dutilleul' in Google

runs on WebDSL