figshare
Browse

sorry, we can't preview this file

tacas20ae.ova (2.72 GB)

tacas20ae.ova

Download (2.72 GB)
Version 2 2019-10-18, 16:36
Version 1 2019-08-21, 15:40
software
posted on 2019-10-18, 16:36 authored by Arnd Hartmanns, Martina SeidlMartina Seidl
VirtualBox for TACAS Artifact Evaluation

History

Usage metrics

    Categories

    Keywords

    Artifact EvaluationTACAS 2020VirtualBox UbuntuComputer Software

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC