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.

Certifying Native Java API by Formal Refinement

Quang Huy Nguyen, Boutheina Chetali. Certifying Native Java API by Formal Refinement. In Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling, editors, Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings. Volume 3928 of Lecture Notes in Computer Science, pages 313-328, Springer, 2006. [doi]

Authors

Quang Huy Nguyen

This author has not been identified. Look up 'Quang Huy Nguyen' in Google

Boutheina Chetali

This author has not been identified. Look up 'Boutheina Chetali' in Google
runs on