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.

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. Formal semantics, modular specification, and symbolic verification of product-line behaviour. Science of Computer Programming, 80:416-439, 2014. [doi]

Authors

Andreas Classen

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

Maxime Cordy

This author has not been identified. Look up 'Maxime Cordy' in Google

Patrick Heymans

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

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Pierre-Yves Schobbens

This author has not been identified. It may be one of the following persons: Look up 'Pierre-Yves Schobbens' in Google
runs on