Bibtex de la publication

@InProceedings{ Bo2017.12,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Shuanglong, Kan},
title = "{A Refinement-based compiler development for synchronous languages (regular paper)}",
booktitle = "{15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, 29/09/17-02/10/17}",
year = {2017},
month = {septembre},
publisher = {IEEE},
address = {http://www.ieee.org/},
pages = {165--174},
language = {anglais},
URL = {http://doi.acm.org/10.1145/3127041.3127056}
}