Détail d'un lien favori
Mode de démonstration
Le mode de démonstration vous permet de tester les fonctionnalités de consultation des favoris uniquement.
Il n'est pas possible de modifier les dossiers ou les liens qu'ils contiennent.
Équipe Plume
http://www.ens-lyon.fr/LIP/PLUMECommentaire
Aucun commentaire
Description
Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France.
Mots-clés
Aucun mot-clé
Les sites proposés dans cette version de démonstration proviennent du répertoire de l'Open Project Directory
Aidez à la réalisation du plus grand répertoire édité par les humains sur l'internet.