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.

Specification and verification of component-based systems 2007

Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou. Specification and verification of component-based systems 2007. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers. pages 609-610, ACM, 2007. [doi]

Authors

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Michael Barnett

This author has not been identified. Look up 'Michael Barnett' in Google

Natasha Sharygina

This author has not been identified. Look up 'Natasha Sharygina' in Google

Dimitra Giannakopoulou

This author has not been identified. Look up 'Dimitra Giannakopoulou' in Google
runs on