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.
    Delzanno, G. (Editor) ; Etalle, Sandro (Editor) ; Gabbrielli, M. (Editor). / 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE). Denmark, Copenhagen : University of Cyprus, 2002.
    @book{fbc38f01164d49fe99eb87ed93890db4,
    title = "2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE)",
    keywords = "EWI-922",
    editor = "G. Delzanno and Sandro Etalle and M. Gabbrielli",
    note = "Imported from DIES",
    year = "2002",
    month = "7",
    language = "Undefined",
    publisher = "University of Cyprus",

    }

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

    2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE). / Delzanno, G. (Editor); Etalle, Sandro (Editor); Gabbrielli, M. (Editor).

    Denmark, Copenhagen : University of Cyprus, 2002.

    Research output: Book/ReportReportOther research output

    TY - BOOK

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

    A2 - Delzanno, G.

    A2 - Etalle, Sandro

    A2 - Gabbrielli, M.

    N1 - Imported from DIES

    PY - 2002/7

    Y1 - 2002/7

    KW - EWI-922

    M3 - Report

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

    PB - University of Cyprus

    CY - Denmark, Copenhagen

    ER -

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