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.

Verification of software via integration of design and implementation

Andrew S. Miner, Samik Basu. Verification of software via integration of design and implementation. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]

Authors

Andrew S. Miner

This author has not been identified. Look up 'Andrew S. Miner' in Google

Samik Basu

This author has not been identified. Look up 'Samik Basu' in Google
runs on