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 Sun Dec 22 02:10:41 2024 CET.