Item recomendado: Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos

Para recomendar este item a alguém, preencha o formulário abaixo. Os campos marcados com '*' são obrigatórios

Nome do destinatário:

E-mail do destinatário*:

Seu nome:

Seu endereço de e-mail:

Messagem pessoal: