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.

Proving Functional Equivalence for Program Slicing in SPARK™

Ricky E. Sward, Leemon C. Baird III. Proving Functional Equivalence for Program Slicing in SPARK™. In Tullio Vardanega, Andy J. Wellings, editors, Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Volume 3555 of Lecture Notes in Computer Science, pages 105-114, Springer, 2005. [doi]

Authors

Ricky E. Sward

This author has not been identified. Look up 'Ricky E. Sward' in Google

Leemon C. Baird III

This author has not been identified. Look up 'Leemon C. Baird III' in Google
runs on