%0 Conference Paper %1 conf/rta/Ahmed16 %A Ahmed, Amal %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:1 %T Compositional Compiler Verification for a Multi-Language World. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#Ahmed16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/Ahmed16, added-at = {2022-07-05T00:00:00.000+0200}, author = {Ahmed, Amal}, biburl = {https://www.bibsonomy.org/bibtex/2e491927b16082bae0910a27e752521ca/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.1}, interhash = {29483bf813d11bf8e7eef5998b389499}, intrahash = {e491927b16082bae0910a27e752521ca}, isbn = {978-3-95977-010-1}, keywords = {dblp}, pages = {1:1-1:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T21:06:23.000+0200}, title = {Compositional Compiler Verification for a Multi-Language World.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#Ahmed16}, volume = 52, year = 2016 }