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 Mon May 6 03:40:13 2024 CEST.