No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Talking Points on Reducing Software Vulnerabilities: Formal Methods


    Contributors:

    Conference:

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


    Publication date :

    2016-07-13


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English