Tese de doutoramento Acesso aberto

Lightweight trustworthy high-level software design