Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Bruno Emerson Gurgel Gomes

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/GomesDMM10
- ask others
Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes: Applying the B Method for the Rigorous Development of Smart Card Applications. ASM 2010: 203-216

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0907-2039
- ask others
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Refining interfaces: the case of the B method. CoRR abs/0907.2039 (2009)
2008
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/DeharbeGM08
- ask others
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: BSmart: A Tool for the Development of Java Card Applications with the B Method. ABZ 2008: 351-352
2007
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GomesMD07
- ask others
Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe: Developing Java Card Applications with B. Electr. Notes Theor. Comput. Sci. 184: 81-96 (2007)
2006
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/DeharbeGM06
- ask others
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira: Automation of Java Card component development using the B method. ICECCS 2006: 259-268

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?