A high-integrity, safety-critical systems programming language.
Alten
Hertfordshire, England, UK
Leonardo
Edinburgh, Scotland, UK | Newcastle upon Tyne, England, UK
Bristol, England, UK