Bruno Emerson Gurgel Gomes

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

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)
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
Refining interfaces: the case of the B method CoRR (2009)
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)
Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe
Developing Java Card Applications with B. Electron. Notes Theor. Comput. Sci. 184 (2007)
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
Automation of Java Card component development using the B method. ICECCS (2006)