Outros Sites Relacionados a Métodos Formais:
Formal Methods Europe
European Association for Theoretical Computer Science
Formal Methods Wiki