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.

Configuration Lifting: Verification meets Software Configuration

Hendrik Post, Carsten Sinz. Configuration Lifting: Verification meets Software Configuration. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 347-350, IEEE, 2008. [doi]

Authors

Hendrik Post

This author has not been identified. Look up 'Hendrik Post' in Google

Carsten Sinz

This author has not been identified. Look up 'Carsten Sinz' in Google
runs on