%0 Journal Article %1 journals/darts/TurcotteAR19 %A Turcotte, Alexi %A Arteca, Ellen %A Richards, Gregor %D 2019 %J Dagstuhl Artifacts Ser. %K dblp %N 2 %P 09:1-09:2 %T Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts5.html#TurcotteAR19 %V 5

@article{journals/darts/TurcotteAR19, added-at = {2020-09-01T00:00:00.000+0200}, author = {Turcotte, Alexi and Arteca, Ellen and Richards, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/238241fd8044e0be048850ddfcd2ca22c/dblp}, ee = {https://doi.org/10.4230/DARTS.5.2.9}, interhash = {9db6260eb8064ee21150fd9ff96004eb}, intrahash = {38241fd8044e0be048850ddfcd2ca22c}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 2, pages = {09:1-09:2}, timestamp = {2020-09-09T11:54:01.000+0200}, title = {Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts5.html#TurcotteAR19}, volume = 5, year = 2019 }