%0 Conference Paper %1 conf/etfa/LindgrenLPP16 %A Lindgren, Per %A Lindner, Marcus %A Pereira, David %A Pinho, Luís Miguel %B ETFA %D 2016 %I IEEE %K dblp %P 1-6 %T Towards certified compilation of RTFM-core applications. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2016.html#LindgrenLPP16 %@ 978-1-5090-1314-2

@inproceedings{conf/etfa/LindgrenLPP16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Lindgren, Per and Lindner, Marcus and Pereira, David and Pinho, Luís Miguel}, biburl = {https://www.bibsonomy.org/bibtex/21ac88a6d6c58d507a1154fb97e86cdab/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2016}, ee = {https://doi.org/10.1109/ETFA.2016.7733551}, interhash = {3433d45cc8e56d163419dc9943fb37d6}, intrahash = {1ac88a6d6c58d507a1154fb97e86cdab}, isbn = {978-1-5090-1314-2}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2018-11-03T17:04:03.000+0100}, title = {Towards certified compilation of RTFM-core applications.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2016.html#LindgrenLPP16}, year = 2016 }