%0 Conference Paper %1 conf/wetice/BoussabbehTKM14 %A Boussabbeh, Maha %A Tounsi, Mohamed %A Kacem, Ahmed Hadj %A Mosbah, Mohamed %B WETICE %D 2014 %E Reddy, Sumitra %I IEEE Computer Society %K dblp %P 50-55 %T Enhancing Proofs of Local Computations through Formal Event-B Modularization. %U http://dblp.uni-trier.de/db/conf/wetice/wetice2014.html#BoussabbehTKM14 %@ 978-1-4799-4249-7

@inproceedings{conf/wetice/BoussabbehTKM14, added-at = {2023-03-23T00:00:00.000+0100}, author = {Boussabbeh, Maha and Tounsi, Mohamed and Kacem, Ahmed Hadj and Mosbah, Mohamed}, biburl = {https://www.bibsonomy.org/bibtex/21e3513d647e1121798044a9954d69ef6/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/2014}, editor = {Reddy, Sumitra}, ee = {https://doi.ieeecomputersociety.org/10.1109/WETICE.2014.59}, interhash = {7b815da8751d8fda7bc2fb409cbadb09}, intrahash = {1e3513d647e1121798044a9954d69ef6}, isbn = {978-1-4799-4249-7}, keywords = {dblp}, pages = {50-55}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:38:16.000+0200}, title = {Enhancing Proofs of Local Computations through Formal Event-B Modularization.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice2014.html#BoussabbehTKM14}, year = 2014 }