figshare
Browse
CAV2021_Artefact.ova.zip (4.63 GB)

CAV2021_Artefact.ova.zip

Download (4.63 GB)
software
posted on 2021-04-29, 19:14 authored by Alessandro Abate, Mirco Giacobbe, Diptarko RoyDiptarko Roy
Virtual Machine for CAV2021 Artefact Evaluation.

History

Usage metrics

    Categories

    Keywords

    learningverificationZ3PythonJAXProgramming Languages

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC