External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

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.

Requirements Validation by Lifting Retrenchments in B

Michael Poppleton, Richard Banach. Requirements Validation by Lifting Retrenchments in B. In 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy. pages 87-96, IEEE Computer Society, 2004. [doi]

Authors

Michael Poppleton

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

Richard Banach

This author has not been identified. Look up 'Richard Banach' in Google
runs on