%0 Conference Paper %1 conf/sac/CoutoTL16 %A Couto, Luís Diogo %A Tran-Jørgensen, Peter Würtz Vinther %A Lausdahl, Kenneth %B SAC %D 2016 %E Ossowski, Sascha %I ACM %K dblp %P 1997-2000 %T Principles for reuse in formal language tools. %U http://dblp.uni-trier.de/db/conf/sac/sac2016.html#CoutoTL16 %@ 978-1-4503-3739-7

@inproceedings{conf/sac/CoutoTL16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Couto, Luís Diogo and Tran-Jørgensen, Peter Würtz Vinther and Lausdahl, Kenneth}, biburl = {https://www.bibsonomy.org/bibtex/2020e98d12b18e85cf7dd9d88fddea29f/dblp}, booktitle = {SAC}, crossref = {conf/sac/2016}, editor = {Ossowski, Sascha}, ee = {https://doi.org/10.1145/2851613.2851953}, interhash = {d4e28a6054532d811990c5dc443c2a5d}, intrahash = {020e98d12b18e85cf7dd9d88fddea29f}, isbn = {978-1-4503-3739-7}, keywords = {dblp}, pages = {1997-2000}, publisher = {ACM}, timestamp = {2018-11-07T13:13:51.000+0100}, title = {Principles for reuse in formal language tools.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2016.html#CoutoTL16}, year = 2016 }