Formal methods are not just for developing critical software. An INESC TEC researcher explained why at an international conference
Over the course of two days the functional programming community gathered at the largest sector’s event in southern Europe, building ...










News, current topics, curiosities and so much more about INESC TEC and its community!