A high-integrity, safety-critical systems programming language.
MBDA Systems
Stevenage, England, UK
Lockheed Martin
Huntsville, AL, USA
Leonardo
Luton, England, UK
