Nombre de documents archivés : 1.
Lazaar, Jamal (2008). « Preuve de validité du vérificateur de code octet Java » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.