Workshop on Computer Science Logic (17th 2003 Vienna, Austria)
Books by Workshop on Computer Science Logic (17th 2003 Vienna, Austria) on BookTides.