External Links

Cite Key

Statistics

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

PDF

Tags

Bibliographies

    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.

    Proof Composition for Deductive Verification of Software Product Lines

    Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. Proof Composition for Deductive Verification of Software Product Lines. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011.

    Authors

    Thüm, Thomas

    Identified as Thomas Thüm
    (University of Magdeburg
    )

    Schaefer, Ina

    Identified as Ina Schaefer
    (University of Braunschweig
    )

    Kuhlemann, Martin

    Identified as Martin Kuhlemann

    Apel, Sven

    Identified as Sven Apel
    (Universität Passau
    )
    runs on