Cited By
View all- Bourke TBrun LDagand PLeroy XPouzet MRieg L(2017)A formally verified compiler for LustreACM SIGPLAN Notices10.1145/3140587.306235852:6(586-601)Online publication date: 14-Jun-2017
- Bourke TBrun LDagand PLeroy XPouzet MRieg LCohen AVechev M(2017)A formally verified compiler for LustreProceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3062341.3062358(586-601)Online publication date: 14-Jun-2017
- Ayrault PBenayoun VDubois CPessaux F(2012)ML dependency analysis for assessorsProceedings of the 10th international conference on Software Engineering and Formal Methods10.1007/978-3-642-33826-7_19(278-292)Online publication date: 1-Oct-2012
- Show More Cited By