18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
Canada
World
United States