@conference{664b687f16fd45428a5a088aeaea0ab2,
title = "V{\'e}rification de la g{\'e}n{\'e}ration modulaire du code imp{\'e}ratif pour Lustre",
author = "Timothy Bourke and Dagand, \{Pierre {\'E}variste\} and Marc Pouzet and Lionel Rieg",
year = "2017",
month = jan,
day = "1",
language = "Fran{\c c}ais",
note = "Vingt-huitieme Journees Francophones des Langages Applicatifs, JFLA 2017 - 28th French-Speaking Conference on Applicative Languages, JFLA 2017 ; Conference date: 04-01-2017 Through 07-01-2017",
}