Un pôle d’innovation pour l’industrie La sécurité et la fiabilité des logiciels pour automobiles Recherche au Software Verification and Validation Lab du SnT SnT, University of Luxembourg
Kryptos, la CIA et l'écrivain: la solution d'une énigme cachée au siège de l'agence américaine vendue aux enchères AFP
