%0 Journal Article %1 journals/scp/KringsLSSF20 %A Krings, Sebastian %A Leuschel, Michael %A Schmidt, Joshua %A Schneider, David %A Frappier, Marc %D 2020 %J Sci. Comput. Program. %K dblp %P 102378 %T Translating Alloy and extensions to classical B. %U http://dblp.uni-trier.de/db/journals/scp/scp188.html#KringsLSSF20 %V 188

@article{journals/scp/KringsLSSF20, added-at = {2020-03-24T00:00:00.000+0100}, author = {Krings, Sebastian and Leuschel, Michael and Schmidt, Joshua and Schneider, David and Frappier, Marc}, biburl = {https://www.bibsonomy.org/bibtex/200b48d8bae3d5776a0985f1481dca589/dblp}, ee = {https://doi.org/10.1016/j.scico.2019.102378}, interhash = {cc3f48f10ffdcb970e31b1541dc86caa}, intrahash = {00b48d8bae3d5776a0985f1481dca589}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102378, timestamp = {2020-03-25T11:50:11.000+0100}, title = {Translating Alloy and extensions to classical B.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp188.html#KringsLSSF20}, volume = 188, year = 2020 }