Marc Frappier | Sebastian Krings /authors/marc-frappier/ Marc Frappier Wowchemy (https://wowchemy.com)en-usThu, 19 Dec 2019 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Marc Frappier /authors/marc-frappier/ Translating Alloy and Extensions to Classical B /publication/krings-alloy-to-b-journal/ Thu, 19 Dec 2019 00:00:00 +0000 /publication/krings-alloy-to-b-journal/ A Translation from Alloy to B /publication/krings-alloy-to-b-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 /publication/krings-alloy-to-b-abz18/