GRust: A Programming Language for Automotive Engineering.

milie Thom, Xavier Denis, Christine Tasson

Browse the full FMICS paper archive.