Listar por autor "Martins, Mário Pereira"

Mostrando ítems 1-1 de 1

Implementação de uma tradução formal de GGBO para PROMELA

Martins, Mário Pereira; Santos, Osmar M dos; Dotti, Fernando L (2004) [Resumen publicado en evento]