Bibtex de la publication

@Article{ ZhBoFiHu2016.1,
author = {Zhibin, Yang and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai},
title = "{Towards a verified compiler prototype for the synchronous language SIGNAL}",
journal = {Frontiers of Computer Science},
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2016},
month = {février},
volume = {10},
number = {1},
pages = {37--53},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/15047/}
}