JeB: Safe Simulation of Event-B Models in JavaScript.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires

Browse the full APSEC paper archive.