Latest

• Étude formelle de l’implémentation du code des impôts
• Formal study of the French tax code's implementation