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