Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Witnesses



    Kongress:

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



    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    3 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Software Verification Witnesses 2.0

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

    Freier Zugriff

    Fault Localization on Verification Witnesses

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

    Freier Zugriff


    Finding witnesses using fewer random bits

    Shoup, Victor | TIBKAT | 1987