Marc Frappier

Latest

• Translating Alloy and Extensions to Classical B
• A Translation from Alloy to B