Un système d'exploitation écrit en ADA et formellement vérifié avec SPARK.
os
spark
ada
formal
Ironclad
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community
