Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic

G. Delzanno, Sandro Etalle, M. Gabbrielli

    Research output: Book/ReportBook editingAcademic

    Original languageUndefined
    Place of PublicationDenmark
    PublisherRoskilde University
    Publication statusPublished - 2002

    Keywords

    • METIS-210636

    Cite this

    Delzanno, G., Etalle, S., & Gabbrielli, M. (2002). Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic. Denmark: Roskilde University.