No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Talking Points on Reducing Software Vulnerabilities: Formal Methods


    Beteiligte:
    Doyle, Richard (Autor:in) / Joshi, Rajeev (Autor:in) / Havelund, Klaus (Autor:in)

    Kongress:

    Software and Supply Chain Assurance Forum ; 2016 ; McLean, VA, United States


    Erscheinungsdatum :

    13.07.2016


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :