Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception...
Lire la suite
Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.