2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)

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

    Research output: Book/ReportReportOther research output

    Original languageUndefined
    Place of PublicationDenmark, Copenhagen
    PublisherUniversity of Cyprus
    Publication statusPublished - Jul 2002

    Keywords

    • EWI-922

    Cite this

    Delzanno, G., Etalle, S., & Gabbrielli, M. (Eds.) (2002). 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE). Denmark, Copenhagen: University of Cyprus.