Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Sandro Etalle (Editor)

    Research output: Book/ReportBook editingAcademic

    2 Downloads (Pure)
    Original languageUndefined
    Place of PublicationBerlin
    PublisherSpringer
    Number of pages279
    ISBN (Electronic)978-3-540-31683-1
    ISBN (Print)978-3-540-26655-6
    DOIs
    Publication statusPublished - Aug 2004

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag
    Volume3573

    Keywords

    • CR-D.1.6
    • IR-66510
    • EWI-754

    Cite this