Vérification formelle d’un compilateur pour langages fonctionnels (2009)

by Z Dargaye