Adam Rogalewicz

Deux nouvelles méthodes améliorent l'analyse de forme pour une meilleure sécurité mémoire dans les logiciels.

De nouvelles techniques améliorent la vérification de la gestion de mémoire dans les programmes informatiques.