Tese de doutoramento Acesso aberto

Metodologias de especificação e análise de sistemas digitais: desenvolvimento de um controlador APA (GLiTCH)