%0 Conference Proceedings
%F gautier99a
%A Gautier, T.
%A Le Guernic, P.
%T Code generation in the SACRES project
%B Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99
%I Springer
%C Huntingdon, UK
%U ftp://ftp.irisa.fr/local/signal/publis/articles/SSS-99:format_dist.ps.gz
%8 February
%D 1999