Entrada
15ª edição da Conferência Internacional RAMicS é organizada pelo Laboratório de Software confiável do INESC TEC (TV do Minho)