lpeq 1.19 - A tool for testing the modular equivalence of logic programs

Tomi Janhunen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2007
    MoE publication typeI2 ICT applications

    Cite this