| Alkuperäiskieli | Englanti |
|---|---|
| Tila | Julkaistu - 2007 |
| OKM-julkaisutyyppi | I2 Tieto- ja viestintätekniset sovellukset |
lpeq 1.19 - A tool for testing the modular equivalence of logic programs
Tomi Janhunen
Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific