%0 Conference Paper %1 conf/sew/IdaniLB06 %A Idani, Akram %A Ledru, Yves %A Bert, Didier %B SEW %D 2006 %I IEEE Computer Society %K %P 97-106 %T A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. %U http://dblp.uni-trier.de/db/conf/sew/sew2006.html#IdaniLB06 %@ 0-7695-2624-1

@inproceedings{conf/sew/IdaniLB06, added-at = {2023-12-13T01:34:23.000+0100}, author = {Idani, Akram and Ledru, Yves and Bert, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2e7eab4d6707a42988b934b8eb9013364/admin}, booktitle = {SEW}, crossref = {conf/sew/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.6}, interhash = {7377a615b8fc2ce48dea775bf82dbc9f}, intrahash = {e7eab4d6707a42988b934b8eb9013364}, isbn = {0-7695-2624-1}, keywords = {}, pages = {97-106}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:34:23.000+0100}, title = {A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2006.html#IdaniLB06}, year = 2006 }