Browsing by Author Pedro de Carvalho Gomes
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
21-Jun-2010 | Verification of symmetric models using semiautomatic abstractions | Pedro de Carvalho Gomes | Dissertação de Mestrado |