A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Akram Idani, Yves Ledru, Didier Bert. A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 97-106, IEEE Computer Society, 2006. [doi]

This 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 'Didier Bert' in Google

runs on WebDSL