thesis
Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B
Institution:
Aix-Marseille 2Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Pas de résumé disponible.