Number of the records: 1  

VERSOFT: Guide

    1.
    SYSNO ASEP0361331
    Document TypeV - Research Report
    R&D Document TypeThe record was not marked in the RIV
    TitleVERSOFT: Guide
    Author(s) Rohn, Jiří (UIVT-O) SAI, RID, ORCID
    Issue dataPrague: ICS AS CR, 2011
    SeriesTechnical Report
    Series numberV-1118
    Number of pages6 s.
    Languageeng - English
    CountryCZ - Czech Republic
    KeywordsVERSOFT ; verification software ; guide
    Subject RIVBA - General Mathematics
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2012
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all