Welcome to BDD'08, the First Brazilian Workshop on B Method Dissemination.
This Event will be presented twice in 2008 as following:
Comments, suggestions and doubts, send an e-mail to: agrj@aes.com.br
Sponsors: