DMCA

Author manuscript, published in "APSEC2012- The 19th Asia-Pacific Software Engineering Conference (2012)" The Case for Using Simulation to Validate Event-B Specifications

Cached

Download Links

by Faqing Yang , Jean-pierre Jacquot , Jeanine Souquières , Loria Université De Lorraine