A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.

Akram Idani, Yves Ledru, Didier Bert

Browse the full SEW paper archive.