SSPTV - a software system for programs testing and verification

S. Bologna, J.R. Taylor

    Research output: Book/ReportReportResearch

    Original languageEnglish
    Number of pages29
    Publication statusPublished - 1978
    SeriesRisø-M
    Number1992
    ISSN0418-6435

    Keywords

    • Risø-M-1992

    Cite this