1
Assuntos:
“...Arquitetura de computador...”
Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração
Tese