A high-integrity, safety-critical systems programming language.
Alstom
Villeurbanne, France
Charleroi, Belgium
Bangalore, India