1
Assuntos:
“...Verified compilation, B method...”
Aplicação do método B ao projeto formal de software embarcado
Dissertação