A formal framework for the design and specification of neural networksDimitris DranidisÉpuisé4,3Prévenez-moi