External Links

Cite Key

Statistics

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

PDF

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.

    Systems and Software Verification

    Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.. Systems and Software Verification. Springer, 2001.

    Authors

    Berard

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

    B.

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

    Bidoit

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

    M.

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

    Finkel

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

    A.

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

    Laroussinie

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

    F.

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

    Petit

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

    A.

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

    Petrucci

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

    L.

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

    Schnoebelen

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

    P.

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