Tese de doutoramento Acesso aberto

Single-assignment program verification