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

    Etalle, S., & Gabbrielli, M. (Eds.) (2001). ICLP01 workshop on Specification, Verification and Analysis of Emerging Technologies (SAVE). University of Cyprus.