Ver registro no DEDALUS
Exportar registro bibliográfico

Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais (1995)