Original language | English |
---|---|
Publication status | Published - 2007 |
MoE publication type | I2 ICT applications |
lpeq 1.19 - A tool for testing the modular equivalence of logic programs
Tomi Janhunen
Research output: Artistic and non-textual form › Software › Scientific