09 de September de 2009 |
FRONTPAGE_NO_TRANSLATION_AVAILABLE
We are proud to congratulate the best paper award winners: Miguel Alexandre Ferreira and José Nuno Oliveira. An Integrated Formal Methods Tool-Chain and its Application to Verifying a File System Model. Adriana Damasceno, Adalberto Farias and Alexandre Mota. A Mechanized Strategy for Safe Abstraction of CSP Specifications. |
|
Lista de artigos aceitos para o SBMF está online |
19 de June de 2009 |
Temos a satisfação de informar que a lista dos artigos aceitos para apresentação no Simpósio Brasileiro de Métodos Formais está disponível. Por favor, acesse Programa, Artigos Aceitos para visualizar a lista. |
|
Informações sobre as Palestras estão online |
19 de June de 2009 |
Temos a satisfação em anunciar que os títulos e resumos das palestras estão disponíveis online. Por favor, acesse Programa, Palestras para visualizar estas informações. |
|
Listas de artigos aceitos para o SAST está online |
18 de July de 2009 |
Temos a satisfação de informar que a lista de artigos aceitos para apresentação no Workshop Brasileiro de Teste de Software Sistemático e Automatizado está disponível. Por favor, acesse Eventos Co-locados, homepage do SAST para visualizar esta lista. |
|
|