O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos, com ênfase na sua composição concorrente e no controlo da interacção continuada com o ambiente.

Esta página dá acesso às diversas edições no curso no âmbito da Licenciatura em Ciências da Computação da Universidade do Minho.

Luís Soares Barbosa