1
Assuntos:
“...Executable specifications...”
Um estudo sobre a utilização de modelos computacionais para a representação de sistemas digitais
Dissertação