Os métodos formais não são apenas para desenvolver software crítico. Um investigador INESC TEC explicou porquê numa conferência internacional
Ao longo de dois dias, a comunidade de programação funcional reuniu-se no maior evento da área no sul da Europa, ...