External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

BSmart: A Tool for the Development of Java Card Applications with the B Method

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira. BSmart: A Tool for the Development of Java Card Applications with the B Method. In Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Volume 5238 of Lecture Notes in Computer Science, pages 351-352, Springer, 2008. [doi]

Authors

David Déharbe

This author has not been identified. Look up 'David Déharbe' in Google

Bruno Emerson Gurgel Gomes

This author has not been identified. Look up 'Bruno Emerson Gurgel Gomes' in Google

Anamaria Martins Moreira

This author has not been identified. Look up 'Anamaria Martins Moreira' in Google
runs on