External Links

Cite Key

Statistics

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

PDF

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.

Applying the B Method for the Rigorous Development of Smart Card Applications

Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes. Applying the B Method for the Rigorous Development of Smart Card Applications. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Volume 5977 of Lecture Notes in Computer Science, pages 203-216, Springer, 2010. [doi]

Authors

Bruno Emerson Gurgel Gomes

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

David Déharbe

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

Anamaria Martins Moreira

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

Katia Moraes

This author has not been identified. Look up 'Katia Moraes' in Google
runs on