–
Room P3.10, Mathematics Building
Amílcar Sernadas, Instituto Superior Técnico
Especificação e verificação de sistemas híbridos
Amílcar Sernadas, Instituto Superior Técnico
Especificação e verificação de sistemas híbridos