%0 Conference Paper %1 conf/apsec/YangJS12 %A Yang, Faqing %A Jacquot, Jean-Pierre %A Souquières, Jeanine %B APSEC %D 2012 %E Leung, Karl R. P. H. %E Muenchaisri, Pornsiri %I IEEE %K %P 85-90 %T The Case for Using Simulation to Validate Event-B Specifications. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2012.html#YangJS12 %@ 978-0-7695-4922-4

@inproceedings{conf/apsec/YangJS12, added-at = {2023-12-12T22:09:58.000+0100}, author = {Yang, Faqing and Jacquot, Jean-Pierre and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/24635113a9c023631ad11b561c37c6d96/admin}, booktitle = {APSEC}, crossref = {conf/apsec/2012}, editor = {Leung, Karl R. P. H. and Muenchaisri, Pornsiri}, ee = {http://dx.doi.org/10.1109/APSEC.2012.66}, interhash = {47b89450991f181b60aa630d8d87ecf0}, intrahash = {4635113a9c023631ad11b561c37c6d96}, isbn = {978-0-7695-4922-4}, keywords = {}, pages = {85-90}, publisher = {IEEE}, timestamp = {2023-12-12T22:09:58.000+0100}, title = {The Case for Using Simulation to Validate Event-B Specifications.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2012.html#YangJS12}, year = 2012 }