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.

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. Journal of Automated Reasoning, 45(4):415-435, 2010. [doi]

Authors

Lydie du Bousquet

This author has not been identified. Look up 'Lydie du Bousquet' in Google

Yves Ledru

This author has not been identified. Look up 'Yves Ledru' in Google

Olivier Maury

This author has not been identified. Look up 'Olivier Maury' in Google

Catherine Oriat

This author has not been identified. Look up 'Catherine Oriat' in Google

Jean-Louis Lanet

This author has not been identified. Look up 'Jean-Louis Lanet' in Google
runs on