Dominic Orchard

Un aperçu de la gestion de la confidentialité et de l'intégrité dans les langages de programmation.

Une nouvelle méthode aide les programmeurs à vérifier les unités dans les logiciels scientifiques.