[AMI05] Une modélisation de l’analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relation des instances aux emplacements mémoire
Mémoire de Thèse :
Soutenue le: 01 January 2005,
: Une modélisation de l’analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relation des instances aux emplacements mémoire,
motcle: