Export [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom

Nombre de documents archivés : 1.

Nicole, M. Olivier (2018) Vérification formelle automatique de l'exécutable binaire d'un noyau par exécution symbolique abstraite PFE - Projet de fin d'études, ENSTA.

Cette liste a été générée le Thu Nov 21 14:04:44 2024 CET.