De la sémantique des langages de programmation à la vérification sémantique des sites Web
Thierry DESPEYROUX - Inria Rocquencourt
Brigitte TROUSSE - Inria Sophia-Antipolis
thierry.despeyroux@inria.fr
http://www-rocq.inria.fr/~tdespeyr/td-fr.html