Systematic Translation Rules from astd to Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau. Systematic Translation Rules from astd to Event-B. In Dominique Méry, Stephan Merz, editors, Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Volume 6396 of Lecture Notes in Computer Science, pages 245-259, Springer, 2010. [doi]

This author has not been identified. Look up 'Jérémy Milhau' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Frédéric Gervais' in GoogleThis author has not been identified. Look up 'Régine Laleau' in Google

runs on WebDSL