Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by Maria João Frade

Conversão para Why3 de Formalizações em Coq

Author Bárbara Andreia Cardoso Ferreira

Degree MSc

Year 2022

Institution UM

Correct Translation of Imperative Programs to Single Assignment Form

Author Marta Vasconcelos Castro Azevedo

Degree MSc

Year 2016

Institution UM

AuTGen-C: uma plataforma para geração de testes com base no CBMC

Author Fábio Esteves Sousa

Degree MSc

Institution UM