A formal framework for the design and specification of neural networksDimitris DranidisUitverkocht4,3Hou mij op de hoogte