Tese de doutoramento Acesso aberto

Métodos formais na concepção e desenvolvimento de sistemas interactivos