Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Witnesses



    Conference:

    International seminar; 15th, International Society of Air Safety Investigators ; 1984 ; London



    Publication date :

    1994-01-01


    Size :

    3 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Software Verification Witnesses 2.0

    Ayaziová, Paulína / Beyer, Dirk / Lingsch-Rosenfeld, Marian et al. | Springer Verlag | 2024

    Free access

    Fault Localization on Verification Witnesses

    Beyer, Dirk / Kettl, Matthias / Lemberger, Thomas | Springer Verlag | 2024

    Free access

    Finding witnesses using fewer random bits

    Shoup, Victor | TIBKAT | 1987