ICLP01 workshop on Specification, Verification and Analysis of Emerging Technologies (SAVE)

Sandro Etalle (Editor), M. Gabbrielli (Editor)

    Research output: Book/ReportReportOther research output

    Original languageEnglish
    PublisherUniversity of Cyprus
    Publication statusPublished - 2001

    Keywords

    • EWI-967

    Cite this