%0 Conference Paper %1 conf/apsec/YangJS13 %A Yang, Faqing %A Jacquot, Jean-Pierre %A Souquières, Jeanine %B APSEC (1) %D 2013 %E Muenchaisri, Pornsiri %E Rothermel, Gregg %I IEEE Computer Society %K %P 571-576 %T JeB: Safe Simulation of Event-B Models in JavaScript. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2013-1.html#YangJS13

@inproceedings{conf/apsec/YangJS13, added-at = {2023-12-14T14:37:03.000+0100}, author = {Yang, Faqing and Jacquot, Jean-Pierre and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/226c80f792ae876f43fc7050662c92397/admin}, booktitle = {APSEC (1)}, crossref = {conf/apsec/2013-1}, editor = {Muenchaisri, Pornsiri and Rothermel, Gregg}, ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2013.83}, interhash = {e151ab537706aea87062fe7a28197c2b}, intrahash = {26c80f792ae876f43fc7050662c92397}, keywords = {}, note = {978-1-4799-2143-0}, pages = {571-576}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T14:37:03.000+0100}, title = {JeB: Safe Simulation of Event-B Models in JavaScript.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2013-1.html#YangJS13}, year = 2013 }