Esta web reúne tópicos de apoio às sucessivas edições da unidade curricular de Semântica da Programação, da licenciatura em Ciências da Computação da Universidade do Minho