%0 Conference Paper %1 conf/iiwas/YounesHA14 %A Younes, Ahlem Ben %A Hlaoui, Yousra Bendaly %A Ayed, Leila Jemni Ben %B iiWAS %D 2014 %E Indrawan-Santiago, Maria %E Steinbauer, Matthias %E Nguyen, Hong-Quang %E Tjoa, A Min %E Khalil, Ismail %E Anderst-Kotsis, Gabriele %I ACM %K dblp %P 479-483 %T A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. %U http://dblp.uni-trier.de/db/conf/iiwas/iiwas2014.html#YounesHA14 %@ 978-1-4503-3001-5

@inproceedings{conf/iiwas/YounesHA14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Younes, Ahlem Ben and Hlaoui, Yousra Bendaly and Ayed, Leila Jemni Ben}, biburl = {https://www.bibsonomy.org/bibtex/27a201131ea247f6fd0c4a6080c03c604/dblp}, booktitle = {iiWAS}, crossref = {conf/iiwas/2014}, editor = {Indrawan-Santiago, Maria and Steinbauer, Matthias and Nguyen, Hong-Quang and Tjoa, A Min and Khalil, Ismail and Anderst-Kotsis, Gabriele}, ee = {https://doi.org/10.1145/2684200.2684341}, interhash = {5aeaa5a25cd9bd66f292588f4b67b85c}, intrahash = {7a201131ea247f6fd0c4a6080c03c604}, isbn = {978-1-4503-3001-5}, keywords = {dblp}, pages = {479-483}, publisher = {ACM}, timestamp = {2018-11-07T16:29:10.000+0100}, title = {A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.}, url = {http://dblp.uni-trier.de/db/conf/iiwas/iiwas2014.html#YounesHA14}, year = 2014 }