Praxis Critical Systems

Praxis Critical Systems

(company)
The company that supplies SPARK.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?