×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [soundness of standardiser]
Home >
soundness of standardiser
Copyright © Altran Praxis. Degrees of trustworthiness: observations arising from the SPARK proof tools and their use Ian O’Neill Workshop on Trusted Extensions.
213 views