Workshop on Computer Science Logic (19th 2005 Oxford, England)
Books by Workshop on Computer Science Logic (19th 2005 Oxford, England) on BookTides.