Browsing by Author "Martins, Mário Pereira"
Now showing items 1-1 of 1
-
Implementação de uma tradução formal de GGBO para PROMELA
Martins, Mário Pereira; Santos, Osmar M dos; Dotti, Fernando L (2004) [Abstract published in event]
Now showing items 1-1 of 1